This book constitutes the refereed proceedings of the 10th International Conference on Integrated...
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was he...
Formal methods traditionally address the question of transforming software engineering into a mat...
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, ...
Formal methods traditionally address the question of transforming software engineering into a mat...
This book constitutes the refereed proceedings of the 10th International Conference on Integrated...
This book constitutes the refereed proceedings of the Third International Workshop and Tutoria...
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was he...