One-path reachability logic. (2013)

by G Rosu, A Stefanescu, Stefan Ciobâca, B M Moore
Venue:In LICS,