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, ...
Weiterlesen
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Weiterlesen
Total Books: 1 - 2 /2
