![](/img/cover-not-exists.png)
An assume-guarantee rule for checking simulation
Henzinger, Thomas A., Qadeer, Shaz, Rajamani, Sriram K., Tasiran, SerdarVolume:
24
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/509705.509707
Date:
January, 2002
File:
PDF, 173 KB
english, 2002