Menu
Home
Help and information
About this website
Privacy Policy
Thomas Santen
1 published title
Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
(Contributor)
1 edition
ISBN: 3540411968
Springer
2000
Details