TY  - BOOK
AU  - Aoki,Toshiaki
AU  - Taguchi,Kenji
ED  - International Conference on Formal Engineering Methods
TI  - Formal methods and software engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings 
T2  - Lecture notes in computer science,
SN  - 9783642342806 (pbk. : alk. paper)
SN  - 03029743
AV  - QA 76.9 .F67 F6
PY  - 2012///]
CY  - Berlin, New York
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Software engineering
KW  - Computer software
KW  - Verification
KW  - fast
KW  - Electronic books
N1  - Includes bibliographical references and author index
UR  - http://JE5QH2YG7P.search.serialssolutions.com/?V=1.0&L=JE5QH2YG7P&S=JCs&C=TC0000788959&T=marc
ER  -