Bill Stoddart Books
Integrated Formal Methods
By
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 ProceedingsAuthor: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart Published by Spr...
Read More