TY  - BOOK
AU  - Ehrig Harmut
ED  - International Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 1985 : Berlin )
ED  - International Joint Conference on Theory and Practice of Software Development(TAPSOFT)
TI  - Formal methods and software development : colloquium on software engineering : proceedings
SN  - 3-540-15198-2
U1  - 5.3 
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag
KW  - Software development
ER  -