Proof systems for message-passing process algebras M. HennessyH. Lin OriginalPaper 21 April 2015 Pages: 379 - 407
Real-time refinement in Manna and Pnueli's temporal logic David Scholefield OriginalPaper 21 April 2015 Pages: 408 - 427
Specification and correctness proof of a WAM extension with abstract type constraints Christoph BeierleEgon Börger OriginalPaper 21 April 2015 Pages: 428 - 462
Invariants and closures in the theory of rewrite systems Stefan Rönn OriginalPaper 21 April 2015 Pages: 463 - 478
A tactic calculus — abridged version A. P. MartinP. H. B. GardinerJ. C. P. Woodcock OriginalPaper 21 April 2015 Pages: 479 - 489
Slicing programs in the presence of errors Mark HarmanDan SimpsonSebastian Danicic Short Communication 21 April 2015 Pages: 490 - 497