Total Books: 1 - 2 /2
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite
Total Books: 1 - 2 /2
