Hardware and Software: Verification and Testing

Overview

Editors:

• Armin Biere ORCID: https://orcid.org/0000-0001-7170-9242⁰,
• Amir Nahir¹,
• Tanja Vos²

1. Armin Biere

   1. Institute for Formal Models and Verification, Johannes Kepler University, Linz, Austria
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

2. Amir Nahir

   1. IBM Research Laboratory, Haifa, Israel
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

3. Tanja Vos

   1. Universidad Politecnica de Valencia, Valencia, Spain
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar