Discover Verifikation

Digitale Hardware/Software-Systeme

Formal Methods Foundations and Applications Lecture Notes in Computer Science

A survey of verification techniques for parallel programs

Formal methods for industrial critical systems

The criteriologic problem

Constraint integer programming

Verified software

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Formal Foundations of Reuse and Domain Engineering

Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition)

Protocol Engineering

Computer aided verification

Verifying concurrent processes using temporal logic

Coordination models and languages

Verification in economics and history

Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings

Compiler specification and verification

Formal Methods for Industrial Critical Systems

Weryfikacja narodowościowa na Ziemiach Odzyskanych

Foundations and Practice of Security Lecture Notes in Computer Science

Runtime verification

Verification and validation in systems engineering