The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...
This book constitutes the proceedings of the 14th International Symposium on Automated Technology...
A new text reference on formal method and techniques and tools for software development project d...
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...
A new text reference on formal method and techniques and tools for software development project d...