A sound and relatively ∗ complete axiomatization of Clarke’s language L4 (1983)

by W Damm, B Josko
Venue:In: Logic of Programs