Do You Trust Your Model Checker?

Erstveröffentlichung
2000Authors
Reif, Wolfgang
Ruf, Jürgen
Schellhorn, Gerhard
Vollmer, Tobias
Editor
Hunt Jr., W. A.Johnson, S. D.
Beitrag zu einer Konferenz
Published in
Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USA / . HuntJr., Warren A. ; Johnson, Seven D. (Hrsg.). - Berlin ; Heidelberg : Springer, 2000. - (Lecture Notes in Computer Science ; 1954). - S. 199-216. - ISBN 978-3-540-41219-9, ISBN 978-3-540-40922-9
Link to publication
https://dx.doi.org/10.1007/3-540-40922-X_12Conference
Design Patterns for the Implementation of Constraints on JavaBeans, 2000-11-01 - 2000-11-03, Austin