Hierarchical formal verification using a hybrid tool (2003)

by S Kort, S Tahar, P Curzon
Venue:Software Tools for Technology Transfer