Julien Groslambert (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: JML2B: Checking JML Specifications with B Machines. B 2007: 285-288

2 Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239

1 Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. ZB 2005: 434-453

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

4		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: JML2B: Checking JML Specifications with B Machines. B 2007: 285-288
2		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239
1		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. ZB 2005: 434-453