Coinductive Verification of Program Optimizations using Similarity Relations

Cached

Download Links

by Sabine Glesner , Johannes Leitner , Jan Olaf Blech
Citations:2 - 0 self