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

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet. JACK - A Tool for Validation of Security and Behaviour of Java Applications. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Volume 4709 of Lecture Notes in Computer Science, pages 152-174, Springer, 2006. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Lilian Burdy' in GoogleThis author has not been identified. Look up 'Julien Charles' in GoogleThis author has not been identified. Look up 'Benjamin Grégoire' in GoogleThis author has not been identified. Look up 'Marieke Huisman' in GoogleThis author has not been identified. Look up 'Jean-Louis Lanet' in GoogleThis author has not been identified. Look up 'Mariela Pavlova' in GoogleThis author has not been identified. Look up 'Antoine Requet' in Google

runs on WebDSL