Applicability of Integrating Automata and Z: A Case Study.

Nazir Ahmad Zafar, Fahad Alhumaidan

Browse the full FIT paper archive.