Lectures

HSE #6: Assertions and Specifications

123 views
Joseph Kiniry talks about Specifications - "Assertions and Specifications"

RELATED TO A LIVE EVENT