245 followers
Towards Formal Verification of Orchestration Computations Using the 핂 Framework. - Musab A. AlTurki, Omar Alzuhaibi http://t.co/dApU6wtyZJ
Towards Formal Verification of Orchestration Computations Using the 핂 Framework. - Musab A. AlTurki, Omar Alzuhaibi http://t.co/dApU6wtyZJ