TY  - BOOK
AU  - Ehrig Hartmut Ed.
AU  -  Floyd Christiane Ed.
ED  - Inter-joint conference on formal methods and software developments (1985 : Berlin)
TI  - Proceedings on formal methods and software development
T2  - Lecture notes in computer science; 186
U1  - D65,8(B)92p1,N85, M5 
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -