Book 2010

Formal Methods: State of the Art and New Directions

Editors:

ISBN: 978-1-84882-735-6 (Print) 978-1-84882-736-3 (Online)