Sofiène Tahar

• Sofiène Tahar and Paul Curzon. Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nordic Journal of Computing, 6(4):372-402, Winter 1999. Abstract, etc.

Shortcuts: