TY  - SER
TI  - Formal aspects of computing: the international journal of formal methods
SN  - 0934-5043
AV  - QA75.5 
U1  - 004 
PY  - 1989///-
CY  - London
PB  - Springer International
KW  - Computación
N1  - Computer & control abstracts; Electrical & electronics abstracts; Physics abstracts; También se edita en línea
ER  -