TY  - BOOK
TI  - Understanding formal methods
SN  - 1852332476 (alk. paper)
PY  - 2003///
CY  - London ; | New York
PB  - Springer
N1  - ... published with the help of the French Ministère de la culture--Centre national du livre."
ER  -