Original language | English |
---|---|
Journal | Lecture Notes in Computer Science |
Publication status | Published - 2010 |
Event | SBMF 2010 - Duration: 1 Jan 2010 → 1 Jan 2010 |
Bibliographical note
Proceedings title: Proceedings 13th Brazilian Symposium on Formal Methods (SBMF 2010)Publisher: Springer