Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali - Paul Sabatier - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-12-17 11:25:22		Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr Add to Reading List Source URL: pages.lip6.fr Download Document from Source Website File Size: 159,63 KB Share Document on Facebook