Case Study in JML-Based Software Validation

@inproceedings{Bousquet2004CaseSI,
  title={Case Study in JML-Based Software Validation},
  author={Lydie du Bousquet and Yves Ledru and Olivier Maury and Catherine Oriat and Jean-Louis Lanet},
  booktitle={ASE},
  year={2004}
}