COMPARING HOL AND MDG: A CASE STUDY ON THE VERIFICATION OF AN ATM SWITCH FABRIC (1998)

by Sofiene Tahar , Paul Curzon
Venue:NORDIC JOURNAL OF COMPUTING
Citations:3 - 2 self