Local reasoning about while-loops

by Thomas Tuerk
Venue:In International Conference on Verified Software: Theories, Tools and Experiments - Theory Workshop (VS-Theory
Citations:2 - 0 self