By the same authors

From the same journal

From the same journal

International Conference on Formal Engineering Methods—ICFEM 2009

Research output: Contribution to journalSpecial issuepeer-review

Published copy (DOI)



Publication details

JournalScience of Computer Programming
DatePublished - 1 Oct 2012
Issue number12
Pages (from-to)1211
Original languageEnglish

Bibliographical note

Special issue. Guest editor.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations