TY  - BOOK
AU  - Berghammer, R.
AU  - Lakhneck,Y.
TI  - Tool support for system specification, development and verification: advances in computing 
SN  - 3211832823
U1  - 004 
PY  - 1999///
CY  - New York
PB  - Springer
KW  - Computer software--Development	
KW  - Computer software--Validation	
KW  - Computer software--Verification	
KW  - Computer-aided software engineering	
KW  - Software engineering	
KW  - Algebra--Data processing	
KW  - Computer science	
KW  - Computer simulation	
ER  -