Towards Formal Verification of Orchestration Computations Using the 핂 Framework.

Musab A. AlTurki, Omar Alzuhaibi

Browse the full FM paper archive.