|
Journals in DBLP
- Marcelo Glusman, Shmuel Katz
A Mechanized Proof Environment for the Convenient Computations Proof Method. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:2, pp:115-142 [Journal]
- Heike Wehrheim
Behavioral Subtyping Relations for Active Objects. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:2, pp:143-170 [Journal]
- Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
Formal Verification of a Complex Pipelined Processor. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:23, n:2, pp:171-213 [Journal]
|