Number of items: 91.
A
Type: Conference or Workshop Item
| 2006
B
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: Book
| 2006
| Springer
| Item not available on this server.
C
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
D
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
Type: Conference or Workshop Item
| 2006
E
Type: Conference or Workshop Item
| 2006
F
Type: Conference or Workshop Item
| 2006
G
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
I
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: Article
| 2006
| Item not available on this server.
L
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: Book Section
| 2006
Type: Conference or Workshop Item
| 2006
M
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: Monograph
| 2006
| University of Southampton
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
N
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item not available on this server.
O
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
P
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
Type: Article
| 2006
| Item availability restricted.
Type: Article
| 2006
| Item not available on this server.
Type: Book Section
| 2006
| John Wiley & Sons
R
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
| Item availability restricted.
S
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
T
Type: Conference or Workshop Item
| 2006
W
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
Y
Type: Book Section
| 2006
| Springer Berlin, Heidelberg
Z
Type: Article
| 2006
| Item availability restricted.
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 2006
This list was generated on Tue Aug 13 01:35:36 2024 BST.