No description available....
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings<br />Author: Wolfgang Grieskamp, Th...
No description available....
No description available....
No description available....
No description available....
No description available....
No description available....