Verifying general safety and liveness properties with integer programming (0)

by J C Corbett
Venue:In v. Bochmann and Probst [13