Julien Groslambert (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)

3 Alain Giorgetti, Julien Groslambert: JAG: JML Annotation Generation for Verifying Temporal Properties FASE 2006: 373-376

Selection of 2 from 7 records - Julien Groslambert has 5 coauthors

7		Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)
3		Alain Giorgetti, Julien Groslambert: JAG: JML Annotation Generation for Verifying Temporal Properties FASE 2006: 373-376