Design by contract: the lessons of Ariane

Publisher Website

1 January 1997

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 30 (1), 129-130
https://doi.org/10.1109/2.562936

Abstract

No abstract available

Cited by 102 articles