| * | 2009 |
|---|
| 5 | EE | Kay 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 |
| 4 | EE | Martin Nordio,
Roman Mitin,
Bertrand Meyer,
Carlo Ghezzi,
Elisabetta Di Nitto,
Giordano Tamburrelli:
The Role of Contracts in Distributed Development.
SEAFOOD 2009: 117-129 |
| 3 | EE | Martin Nordio,
Cristiano Calcagno,
Peter Müller,
Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel.
TOOLS (47) 2009: 195-214 |
| 2008 |
|---|
| 2 | EE | Martin Nordio,
Peter Müller,
Bertrand Meyer:
Proof-Transforming Compilation of Eiffel Programs.
TOOLS (46) 2008: 316-335 |
| 2007 |
|---|
| 1 | EE | Peter Müller,
Martin Nordio:
Proof-transforming compilation of programs with abrupt termination.
SAVCBS 2007: 39-46 |
