An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study

@inproceedings{Lafontaine-al:ICSE90,
  author    = {Christine Lafontaine and
               Yves Ledru and
               Pierre{-}Yves Schobbens},
  title     = {An Experiment in Formal Software Development: Using the B Theorem Prover on a {VDM} Case Study},
  booktitle = {ICSE},
  pages     = {34--42},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}