by Johnsen, Einar Broch, Hähnle, Reiner, Schäfer, Jan, Schlatte, Rudolf, Steffen, Martin
Published in Formal Methods for Components and Objects

by Berdine, Josh, Calcagno, Cristiano, O’Hearn, Peter W.
Published in Lecture notes in computer science (2006)

by BARNETT, Mike, CHANG, Bor-Yuh Evan, DELINE, Robert, JACOBS, Bart, LEINO, K. Rustan M
Published in Lecture notes in computer science (2006)

by Chalin, Patrice, Kiniry, Joseph R., Leavens, Gary T., Poll, Erik
Published in Lecture notes in computer science (2006)

by Benveniste, Albert, Caillaud, Benoît, Ferrari, Alberto, Mangeruca, Leonardo, Passerone, Roberto, Sofronis, Christos
Published in Formal Methods for Components and Objects

by Ferrari, Gian Luigi, Hirsch, Dan, Lanese, Ivan, Montanari, Ugo, Tuosto, Emilio
Published in Lecture notes in computer science (2006)

by Hvid Hansen, Helle, Ketema, Jeroen, Luttik, Bas, Mousavi, MohammadReza, van de Pol, Jaco, dos Santos, Osmar Marchi
Published in Post-Proceedings of the International Symposium on Formal Methods for Components and Objects (FMCO 2010) (2011)

by Cooper, Ezra, Lindley, Sam, Wadler, Philip, Yallop, Jeremy
Published in Formal Methods for Components and Objects

by De Nicola, Rocco, Ferrari, Gianluigi, Loreti, Michele, Pugliese, Rosario
Published in Formal Methods for Components and Objects

by Ball, Thomas
Published in Lecture notes in computer science (2005)

by Barnat, Jiří, Brim, Luboš, Černá, Ivana
Published in Lecture notes in computer science (2006)

by Behrmann, Gerd, Larsen, Kim G., Rasmussen, Jacob I.
Published in Lecture notes in computer science (2005)

by Derrick, John, Walkinshaw, Neil, Arts, Thomas, Benac Earle, Clara, Cesarini, Francesco, Fredlund, Lars-Ake, Gulias, Victor, Hughes, John, Thompson, Simon
Published in Formal Methods for Components and Objects

by Krenn, Willibald, Schlick, Rupert, Aichernig, Bernhard K.
Published in Formal Methods for Components and Objects

by Grumberg, Orna
Published in Lecture notes in computer science (2006)

by Dams, Dennis R., Namjoshi, Kedar S.
Published in Lecture notes in computer science (2006)

by Van Roy, Peter, Haridi, Seif, Reinefeld, Alexander, Stefani, Jean-Bernard, Yap, Roland, Coupaye, Thierry
Published in 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007 (2008)

by Groesser, Marcus, Baier, Christel
Published in Lecture notes in computer science (2006)

by Basu, Ananda, Bensalem, Saddek, Bozga, Marius, Bourgos, Paraskevas, Maheshwari, Mayur, Sifakis, Joseph
Published in Formal Methods for Components and Objects

by Hammond, Kevin, Aldinucci, Marco, Brown, Christopher, Cesarini, Francesco, Danelutto, Marco, González-Vélez, Horacio, Kilpatrick, Peter, Keller, Rainer, Rossbory, Michael, Shainer, Gilad
Published in Formal Methods for Components and Objects