There is no fulltext present in this item.

Find Full text  
Title: Report from the ECOOP 2004 Workshop on Formal Techniques for Java-Like Programs (FTfJP'04)
Author(s): Coglio, A.; Huisman, M.; Kiniry, J.R. ; Müller, P.; Poll, E.
Publication year: 2004
Publisher: Berlin / Heidelberg : Springer
ISBN: 9783540239888
Series: Lecture Notes in Computer Science ; 3344
Annotation: sixth Workshop on Formal Techniques for Java-like Programsat ECOOP 2004
Publication type: Book editorial

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/60446   https://hdl.handle.net/2066/60446

Display more details
Subject: Security of Systems
Organization: Security of Systems

This item appears in the following Collection(s)

Browse

Statistics