A CTL-Based Logic for Program Abstractions.

Martin Lange, Markus Latte

Browse the full WoLLIC paper archive.