Coinductive Verification of Program Optimizations Using Similarity Relations (0)

by S Glesner, J Leitner, J O Blech
Venue:Electronic Notes in Theoretical Computer Science