Noam Rinetzky Lecture 6: Axiomatic Semantics II
Spring 2014 Program Analysis and Verification Lecture 4: Axiomatic Semantics I