TY  - RPRT
TI  - Design-by-contract and test-driven software development [Slides]
AU  - Hakel, Peter
PY  - 2019
DO  - 10.2172/1545734
UR  - https://www.osti.gov/biblio/1545734
ID  - 1545734
ER  -