%0 Book
%A \ [edited by] Carlos Canal, Akram Idani.
%T Software Engineering and Formal Methods 
%U /book/88357258/Software-Engineering-and-Formal-Methods/