Original languageEnglish
Article number4343914
Pages (from-to)ix
JournalProceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007
DOIs
Publication statusPublished - 2007
Event5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 - London, United Kingdom
Duration: 10 Sep 200714 Sep 2007

Cite this