Types

all types inproceedings article book proceedings incollection misc techreport phdthesis unpublished

Years

2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002

Authors [next]

Nazareno Aguirre Enrico Albonico Eyad Alkassar Lukas Angerer Karine Arnout Volkan Arslan Rob Arthan Stephanie Balzer F. Y. Bannwart Sebastian S. Bauer Till G. Bay Till G. Bay Moritz Y. Becker Kay Berkling Marcello M. Bersani Silvia Bindelli Thorsten Bormer Marc Brockschmidt Derek Bronish Stefan Buchholz Cristiano Calcagno Cristiano Calcagno Luca Cavallaro Rod Chapman Christine Choppy I. Ciupa Ilinca Ciupa A. Coglio Ernie Cohen Valentin Dallmeier

Keywords

axiom clauses export clauses multiple abstractions multiple inheritance separation logic