The correctness-by-construction approach to programming by Watson, Bruce W., Kourie, Derrick G. 0 Type: Book
Tests and proofs: 5th International Conference, TAP 2011, Zurich, S… by TAP 2011, Zurich, Switzerland) fromLecture Notes in Computer Science 0 Type: Book
