2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Dai Tri Man Le
This paper is the longer version of the extended abstract with the same name published in FM 06. We describe in detail the algorithm to generate verification conditions from statec…