The industrial success of verification tools based on Stalmarck's Method (1997)

by BOR ALV, A
Venue:In International Conference on Computer-Aided Verification (CAV'97