Tagged with podcast

Lectures

HSE #6: Assertions and Specifications

509 views February 06, 2015

Joseph Kiniry talks about Specifications - "Assertions and Specifications"