Tagged with joseph

Lectures

HSE #6: Assertions and Specifications

501 views February 06, 2015

Joseph Kiniry talks about Specifications - "Assertions and Specifications"