A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking (2003)

Cached

Download Links

by Rabeb Mizouni

Document Versions

A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking –Rabeb Mizouni — 2003