Guest Editorial Integrated Formal Methods E. BoitenJ. DerrickG. Smith OriginalPaper 15 November 2005 Pages: 389 - 389
CSP theorems for communicating B machines Steve SchneiderHelen Treharne OriginalPaper 15 November 2005 Pages: 390 - 422
Refinement and retrenchment for programming language data types Bernhard BeckertSteffen Schlager OriginalPaper 02 November 2005 Pages: 423 - 442
Exploring optimal solution to hardware/software partitioning for synchronous model Jifeng HeDang Van HungWang Yi OriginalPaper 18 November 2005 Pages: 443 - 460
Concurrent software verification with states, events, and deadlocks Sagar ChakiEdmund ClarkeNishant Sinha OriginalPaper 21 September 2005 Pages: 461 - 483