Jack - A Tool for Validation of Security and Behaviour of Java Applications

AuthID
 P-00Y-FN5
8
Author(s)
Charles, J
·
Grégoire, B
·
Huisman, M
·
Lanet, JL
·
Pavlova, M
·
Requet, A
4
Editor(s)
de Boer,FS;Bonsangue,MM;Graf,S;de Roever,WP
Document Type
Proceedings Paper
Year published
2006
Published
in Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures in Lecture Notes in Computer Science
Volume: 4709, Pages: 152-174
Indexing
Dblp®/en/publications/view/999077
Publication Identifiers
Dblp: conf/fmco/BartheBCGHLPR06
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service