|
Journals in DBLP
- Eerke A. Boiten, John Derrick, Graeme Smith
Guest Editorial Integrated Formal Methods. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:4, pp:389-389 [Journal]
- Steve Schneider, Helen Treharne
CSP theorems for communicating B machines. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:4, pp:390-422 [Journal]
- Bernhard Beckert, Steffen Schlager
Refinement and retrenchment for programming language data types. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:4, pp:423-442 [Journal]
- Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
Exploring optimal solution to hardware/software partitioning for synchronous model. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:4, pp:443-460 [Journal]
- Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
Concurrent software verification with states, events, and deadlocks. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:4, pp:461-483 [Journal]
|