![](/img/cover-not-exists.png)
[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
Colin, S., Petit, D., Rocheteau, J., Marcano, R., Mariano, G., Poirriez, V.Year:
2005
Language:
english
DOI:
10.1109/sefm.2005.10
File:
PDF, 325 KB
english, 2005