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

14 years 3 months ago

Gilles Barthe, Lilian Burdy, Julien Charles, Benja

FMCO 2006 | Formal Methods |

claim paper

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)