A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking (2003)
by
Rabeb Mizouni
Documents Related by Co-Citation
No related documents identified.
