Composition and Refinement in the B-Method

@inproceedings{Potet1998CompositionAR,
  title={Composition and Refinement in the B-Method},
  author={Marie-Laure Potet and Yann Rouzaud},
  booktitle={B},
  year={1998}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…