Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2009
Huisman, M. and Tamalet, A.
(2009)
A Formal Connection between Security Automata and JML Annotations.
In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK.
pp. 340-354.
Lecture Notes in Computer Science 5503.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-00592-3
This list was generated on Thu May 24 05:50:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||