search

informalsystems / vdd

Verification-Driven Development
21 stars 0 forks source link

Update VDD manifesto #1

Closed milosevic closed 4 years ago