Menu
Home
Help and information
About this website
Privacy Policy
Christophe Joubert
1 published title
Formal methods for industrial critical systems
(Contributor)
1 edition
ISBN: 9783642045691
Springer
2009
Details