by Barringer, Howard, Havelund, Klaus
Published in FM 2011: Formal Methods (2011)

by Barthe, Gilles, Crespo, Juan Manuel, Kunz, César
Published in FM 2011: Formal Methods (2011)

by Loos, Sarah M., Platzer, André, Nistor, Ligia
Published in FM 2011: Formal Methods (2011)

by Klebanov, Vladimir, Müller, Peter, Shankar, Natarajan, Leavens, Gary T., Wüstholz, Valentin, Alkassar, Eyad, Arthan, Rob, Bronish, Derek, Chapman, Rod, Cohen, Ernie, Hillebrand, Mark, Jacobs, Bart, Leino, K. Rustan M., Monahan, Rosemary, Piessens, Frank, Polikarpova, Nadia, Ridge, Tom, Smans, Jan, Tobies, Stephan, Tuerk, Thomas, Ulbrich, Mattias, Weiß, Benjamin
Published in FM 2011: Formal Methods (2011)

by Bowen, Jonathan P., Reeves, Steve
Published in FM 2011: Formal Methods (2011)

by Boyer, Fabienne, Gruber, Olivier, Salaün, Gwen
Published in FM 2011: Formal Methods (2011)

by Rozier, Kristin Y., Vardi, Moshe Y.
Published in FM 2011: Formal Methods (2011)

by Bonakdarpour, Borzoo, Navabpour, Samaneh, Fischmeister, Sebastian
Published in FM 2011: Formal Methods (2011)

by El Ghazi, Aboubakr Achraf, Taghdiri, Mana
Published in FM 2011: Formal Methods (2011)

by Derrick, John, Schellhorn, Gerhard, Wehrheim, Heike
Published in FM 2011: Formal Methods (2011)

by Damm, Werner, Finkbeiner, Bernd
Published in FM 2011: Formal Methods (2011)

by Müller, Peter, Ruskiewicz, Joseph N.
Published in FM 2011: Formal Methods (2011)

by Barthe, Gilles, Betarte, Gustavo, Campo, Juan Diego, Luna, Carlos
Published in FM 2011: Formal Methods (2011)

by Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel, Johnsen, Einar Broch, Schlatte, Rudolf, Tarifa, S. Lizeth Tapia
Published in FM 2011: Formal Methods (2011)

by Ciobanu, Gabriel, Koutny, Maciej
Published in FM 2011: Formal Methods (2011)

by Cavalcanti, Ana, Wellings, Andy, Woodcock, Jim
Published in FM 2011: Formal Methods (2011)

by Gherghina, Cristian, David, Cristina, Qin, Shengchao, Chin, Wei-Ngan
Published in FM 2011: Formal Methods (2011)

by Haxthausen, Anne E., Kjær, Andreas A., Le Bliguet, Marie
Published in FM 2011: Formal Methods (2011)

by Qin, Shengchao, Luo, Chenguang, Chin, Wei-Ngan, He, Guanhua
Published in FM 2011: Formal Methods (2011)

by Méry, Dominique, Mosbah, Mohamed, Tounsi, Mohamed
Published in FM 2011: Formal Methods (2011)