A Formal Connection between Security Automata and JML Annotations release_fgkewmgcqbgwzljautvwskjude

by Marieke Huisman, Alejandro Tamalet

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2009   p340-354

Archived Files and Locations

application/pdf  252.3 kB
file_62ls5nnbi5gajlt3qmlhpaztry
repository.ubn.ru.nl (web)
web.archive.org (webarchive)
application/pdf  217.3 kB
file_eoaoq2jm7fc73i4dajjgsac4ti
wwwhome.ewi.utwente.nl (web)
web.archive.org (webarchive)
application/pdf  302.6 kB
file_chzxwswsqrgoncljfa2kay4wsa
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2009
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 64918370-d748-4aeb-b6ad-c0b0d5d8b0c7
API URL: JSON