TY  - BOOK
AU  - Brim,LuboÌŒs
TI  - Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers 
T2  - Lecture notes in computer science
SN  - 9783540709510
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Software engineering
KW  - Computer programs
KW  - Verification
N1  - Includes bibliographical references and index
ER  -