Menu
Home
Help and information
About this website
Privacy Policy
Jean-Pierre Talpin
1 published title
Synthesis of embedded software : frameworks and methodologies for correctness by construction
(Contributor)
1 edition
ISBN: 9781441964007
Springer
2010
Details