![[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - BRILLANT: an open source and XML-based platform for rigourous software development]()
[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - BRILLANT: an open source and XML-based platform for rigourous software developmentColin, S.; Petit, D.; Rocheteau, J.; Marcano, R.; Mariano, G.; Poirriez, V. · 2005