Keywords = Applied pi Calculus
Number of Articles: 1
1. Design and formal verification of DZMBE+

Volume 5, Issue 1, Winter and Spring 2013, Pages 37-53

M. Soodkhah Mohammadi; A. Ghaemi Bafghi