A Hoare Logic with Regular Behavioral Specifications.

Gidon Ernst, Alexander Knapp, Toby Murray

Browse the full ISoLA paper archive.