Lab for Automated Reasoning and Analysis LARA

Lecture 05: Program Paths, Hoare Triples, Pre and Postconditions

 
sav15/lecture_05.txt · Last modified: 2015/04/20 16:35 by vkuncak