Sciweavers

Share
FMCO
2006
Springer

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

12 years 3 months ago
JACK - A Tool for Validation of Security and Behaviour of Java Applications
Gilles Barthe, Lilian Burdy, Julien Charles, Benja
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FMCO
Authors Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
Comments (0)
books