Papers."... welcome you at FormaliSE 2015, the 3th FME (Formal Methods Europe; www. fmeurope.org) Workshop on Formal Methods in Software Engineering."...
"... welcome you at FormaliSE 2015, the 3th FME (Formal Methods Europe; www. fmeurope.org) Workshop on Formal Methods in Software Engineering."--Page vii.
IEEE catalog number CFP15ZAP-POD.
書誌注記
Includes bibliographical references and author index.