Hardware and Software: Verification and Testing - 9783319262864

Fundamental Approaches to Software Engineering: 11th International Conference,

Hardware and Software Verification and Testing 8th International

Algebraic Methodology and Software Technology 11th International

Fundamental Approaches to Software Engineering 11th International

Correct Hardware Design and Verification Methods 11th IFIP WG 10.

Automated Technology for Verification and Analysis 11th Internati

Software Engineering and Formal Methods 11th International Confer