Case Study in JML-Based Software Validation

@inproceedings{duBousquet-al:ASE04,
  author    = {Lydie du Bousquet and
               Yves Ledru and
               Olivier Maury and
               Catherine Oriat and
               Jean{-}Louis Lanet},
  title     = {Case Study in {JML-Based} Software Validation},
  booktitle = {ASE},
  pages     = {294--297},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}