Martin Nordio Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio: Software Engineering Approaches for Offshore and Outsourced Development, Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers Springer 2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli: The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
2007
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46

Coauthor Index

1Kay Berkling [5]
2Cristiano Calcagno [3]
3Carlo Ghezzi [4]
4Mathai Joseph [5]
5Bertrand Meyer [2] [3] [4] [5]
6Roman Mitin [4]
7Peter Müller [1] [2] [3]
8Elisabetta Di Nitto [4]
9Giordano Tamburrelli [4]

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)