Research indexBook chapter
Contract-Driven Development
Meyer
Lecture notes in computer science3 Jul 2007Open access
NobleIDark:/48914/w1/20260515/88D134D2DOI10.1007/978-3-540-71289-3_2
Book chapterOpen access
Contract-Driven Development
Meyer · Lecture notes in computer science · 2007
NobleIDark:/48914/w1/20260515/88D134D2DOI10.1007/978-3-540-71289-3_2