Thomas Wilson
2 published titles
Push-button tools for application developers, full formal verification for component vendors
1 edition
- Department of Computing Science and Mathematics, University of Stirling
- 2007
- Details
The Omnibus language and integrated verification approach
1 edition
- University of Stirling, Dept. of Computing Science and Mathematics
- 2008
- Details
