Bn Staff Call Slides 13 April 10
Behavioral Equivalence Hossein Hojjat Formal Lab University of Tehran.
Deep calls unto deep