@Proceedings{ aderholdautexiermantel:2010, editor = {Markus Aderhold and Serge Autexier and Heiko Mantel}, title = {Proceedings of the 6th International Verification Workshop (VERIFY 2010)}, address = {Edinburgh, UK}, note = {Workshop in connection with the Federated Logic Conference (FLoC 2010)}, series = {EPiC Series in Computer Science}, volume = {3}, year = 2012 }