%0 Journal Article
%T Design and Formal Verification of DZMBE+
%A Soodkhah Mohammadi, Mahdi
%A  Ghaemi Bafghi, Abbas
%J ISeCure
%@ 2008-2045
%D 2013