ISSE

Search

Introduction to Subject Area "Verification"

F. Ortmeier, W. Reif, and G. Schellhorn

Introduction to Subject Area "Verification"

published 2004 IH. Ehrig, Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147

Publisher: Springer


Downloads: