Volume & Issue: Volume 5, Issue 1, Winter and Spring 2013 (6) 

Editorial

1. Editorial

Page 1-3

R. Jalili


ORIGINAL RESEARCH PAPER

3. Design and formal verification of DZMBE+

Page 37-53

M. Soodkhah Mohammadi; A. Ghaemi Bafghi