Number of items: 94.
Article
Type: Article
| 2006
| Item not available on this server.
Type: Article
| 2006
| Item availability restricted.
Type: Article
| 2006
| Item not available on this server.
Type: Article
| 2006
| Item availability restricted.
Book
Type: Book
| 2006
| Springer
| Item not available on this server.
Type: Book
| 2006
| Springer
| Item not available on this server.
Type: Book
| 2006
| IEE Press
| Item not available on this server.
Type: Book
| 2006
| Springer
| Item not available on this server.
Book Section
Type: Book Section
| 2006
Type: Book Section
| 2006
| John Wiley & Sons
Type: Book Section
| 2006
| Springer Berlin, Heidelberg
Conference or Workshop Item
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Roadmap for Enhanced Languages and Methods to Aid Verification -
Gary T. Leavens,
Jean-Raymond Abrial,
Don Batory,
Michael Butler,
Alessandro Coglio,
Kathi Fisler,
Eric Hehner,
Cliff B. Jones,
Dale Miller,
Simon Peyton-Jones,
Murali Sitaraman,
Douglas R. Smith and
Aaron Stump
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Springer Berlin, Heidelberg
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Monograph
Type: Monograph
| 2006
| University of Southampton
Thesis
This list was generated on Tue Aug 13 01:35:36 2024 BST.