Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano. BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 373-382, IEEE Computer Society, 2005. [doi]
Abstract is missing.