Deductive verification of real-time systems using STeP (0)

by N S Bjørner, Z Manna, H B Sipma, T E Uribe
Venue:TCS: Theoretical Computer Science