B Meyer

Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2, 1997

B Meyer

Computer 25 (10), 40-51, 1992

B Meyer

Prentice-Hall, 1992

B Meyer

IEEE software 4 (2), 50, 1987

B Meyer

IEEE Software 2 (1), 6-26, 1985

Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller

Proceedings of the 19th international symposium on Software testing and …, 2010

JM Jézéquel, B Meyer

Computer 30 (1), 129-130, 1997

B Meyer

The good, the Hype and the Ugly. Kappaleet, 275+xviii, 2014

B Meyer

Available for free use at https://bertrandmeyer.com/ITPL, 1990

B Meyer

Prentice-Hall, Inc., 1994

JR Abrial, SA Schuman, B Meyer

On the Construction of Programs, 343-410, 1980

I Ciupa, A Leitner, M Oriol, B Meyer

Proceedings of the 30th international conference on Software engineering, 71-80, 2008

B Meyer

Communications of the ACM 36 (9), 56-80, 1993

B Meyer

25th International Conference on Software Engineering, 2003. Proceedings …, 2003

B Meyer, W Simonsmeier

Hanser, 1990

B Meyer

ACM Sigplan Notices 21 (11), 391-405, 1986

B Meyer

Communications of the ACM 33 (9), 68-88, 1990

B Meyer

Journal of Systems and Software 8 (3), 199-246, 1988

V Dallmeier, A Zeller, B Meyer

2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009

B Meyer

Learning to program well with Object Technology and Design by Contract, AN …, 2009