TY  - BOOK
AU  - Rus Teodor ed.
ED  - International Conference, AMAST 2000 on Algebraic Methodology and Software Technology (8th : 20-27 May 2000 : Iowa,USA)
ED  - International conference, AMAST 2000 on algebraic methodology and software technology
TI  - Algebraic methodology and software technology: proceedings
SN  - 3-540-67530-2
U1  - 5.1 
PY  - 2000///
CY  - Berlin
PB  - Springer-Verlag
KW  - Software engineering
ER  -