Volume 37, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 37, Issue 1

November 2010

2 articles in this issue

Theorem prover approach to semistructured data design
Scott Uk-Jin Lee
Gillian Dobbie
Lindsay Groves
OriginalPaper 30 September 2010 Pages: 1 - 60
MAVEN: modular aspect verification and interference analysis
Max Goldman
Emilia Katz
Shmuel Katz
OriginalPaper 03 November 2010 Pages: 61 - 92