Finding Inconsistencies in Programs with Loops.

Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schf

Browse the full LPAR paper archive.