Design by contract: the lessons of Ariane

• 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