TY  - GEN
TY  - GEN
T1  - Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
T2  - Theoretical Computer Science and General Issues ;
A2  - Godefroid, Patrick.
A2  - Godefroid, Patrick.
LA  - English
PP  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg : Imprint: Springer
YR  - 2005
ED  - 1st ed. 2005.
UL  - http://discoverylib.upm.edu.my/discovery/Record/978-3-540-31899-6
OP  - 292
CN  - QA76.758
SN  - 9783540318996
KW  - Software engineering.
KW  - Programming languages (Electronic computers).
KW  - Computer logic.
KW  - Software Engineering/Programming and Operating Systems.
KW  - Software Engineering.
KW  - Programming Languages, Compilers, Interpreters.
KW  - Logics and Meanings of Programs.
ER  -