dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bertrand Meyer (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


Biographical Citations

222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto: How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE 2011: 176-184
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Verifying Eiffel Programs with Boogie CoRR abs/1106.4700: (2011)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen: Reasoning about Function Objects. TOOLS (48) 2010: 79-96

Selection of 4 from 236 records - Bertrand Meyer has 147 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page