Books

Books : reviews

Lars-Henrik Eriksson, Peter Alexander Lindsay.
FME 2002: Formal Methods -- Getting IT Right.
Springer. 2002

(read but not reviewed)