Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway,

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Forma

Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve