Menu
Home
Help and information
About this website
Privacy Policy
P. H. Schmitt
1 published title
Verification of object-oriented software : the KeY approach
(Contributor)
1 edition
ISBN: 9783540689775
Springer
2007
Details