A Formal Connection between Security Automata and JML Annotations

Find Full text
Thumbnail
Fulltext:
76126.pdf
Size:
212.2Kb
Format:
PDF
Description:
preprint version
Download
Publication year
2009
Author(s)
Huisman, Marieke
Tamalet, Alejandro
Publisher
Berlin : Springer Verlag
ISBN
9783642005923
In
Lecture Notes in Computer Science, (2009)Chechik, M.; Wirsing, M. (ed.), Fundamental Approaches to Software Engineering, pp. 340-354
ISSN
DOI
Annotation
Fundamental Approaches to Software Engineering : 12th international conference, FASE 2009 held as part of the European Conferences on the theory and practice of software, ETAPS 2009, York, UK, 2009 9, 22 maart 2009
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/76126   https://hdl.handle.net/2066/76126
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.