ABZ 2012: Pisa, Italy

Invited Talks

ASM Papers

Alloy Papers

B Papers

VDM Papers

Z Papers

ASM Short Papers

B Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics