Publication year: 2007
: 978-3-540-74792-5
The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems.
: Computer Science, formal method, model checking, modeling, object, programming, programming language, verification