%0 Book
%A  Jing Sun, Meng Sun (eds.).
%T Formal methods and software engineering :
%U /book/90226739/Formal-methods-and-software-engineering/