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(es)
de Boer,FS;Bonsangue,MM;Graf,S;de Roever,WP
Tipo de Documento
Proceedings Paper
Year published
2006
Publicado
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, Páginas: 152-174
Indexing
Dblp®/pt/publications/view/999077
Publication Identifiers
DBLP: conf/fmco/BartheBCGHLPR06
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service