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