| Original language | English |
|---|---|
| Pages (from-to) | V-VII |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 7991 LNCS |
| Publication status | Published - 2014 |
| Event | 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 - Thessaloniki, Greece Duration: Oct 1 2012 → Oct 5 2012 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science