Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Software engineering / Mathematics / Hoare logic / Static program analysis / Algorithm / Precondition / Predicate transformer semantics / Loop invariant


Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?
Add to Reading List

Document Date: 2016-04-05 02:15:07


Open Document

File Size: 750,20 KB

Share Result on Facebook