%0 Book
%A  Tiago Massoni, Mohammad Reza Mousavi (eds.).
%T Formal methods :
%U /book/90226908/Formal-methods/