Compensation by design Xi LiuShaofa YangJ. W. Sanders Original Article 28 March 2013 Pages: 623 - 676
Formal verification of a pervasive messaging system Savas KonurMichael FisherStephen Knox Original Article 28 March 2013 Pages: 677 - 694
An elementary theory of product-line variations Prahladavaradan Sampath Original Paper 16 April 2013 Pages: 695 - 727
Towards verification of computation orchestration Jin Song DongYang LiuXian Zhang Original Article 30 April 2013 Pages: 729 - 759
Verifying traits: an incremental proof system for fine-grained reuse Ferruccio DamianiJohan DovlandIna Schaefer Original Article 17 May 2013 Pages: 761 - 793
Test-data generation for control coverage by proof Ana CavalcantiSteve KingJim Woodcock Original Article 29 May 2013 Pages: 795 - 823
Assume-guarantee synthesis for digital contract signing Krishnendu ChatterjeeVishwanath Raman Original Paper 06 June 2013 Pages: 825 - 859