Automatically validating temporal safety properties of interfaces (2001)

by Thomas Ball , Sriram K. Rajamani
Citations:384 - 19 self