AutomaticMly validating temporM sM'ety properties of interfaces (2001)

by T Ball, S K Ru, nlu ju, ni
Venue:In SPIN 01: 5'PIN Workshop, LNCS 20557