Dorian Petit, Vincent Poirriez, Georges Mariano. The B Method and the Component-Based Approach. Transactions of the SDPS, 8(1):65-76, 2004. [doi]
@article{PetitPM04-0,
title = {The B Method and the Component-Based Approach},
author = {Dorian Petit and Vincent Poirriez and Georges Mariano},
year = {2004},
url = {http://iospress.metapress.com/content/y9b5x6j2xmwn6xl7/},
researchr = {https://researchr.org/publication/PetitPM04-0},
cites = {0},
citedby = {0},
journal = {Transactions of the SDPS},
volume = {8},
number = {1},
pages = {65-76},
}