TY  - BOOK
AU  - Wirsing Martin ed.
ED  - International Conference on Algebraic Methodology and Software technology, AMAST'96 (5th : 1-5 July 1996 : Munich,Germany)
ED  - International conference on algebraic methodology and software technology, AMAST'96
TI  - Algebraic methodology and software technology: proceedings
SN  - 3-540-61463-X
U1  - 5.1 
PY  - 1996///
CY  - Berlin
PB  - Springer-Verlag
KW  - Software technology
ER  -