Do You Trust Your Model Checker?
Beitrag zu einer Konferenz
Editor
Hunt Jr., W. A.Johnson, S. D.
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