Languages
Jump To : Overview | Titles | Subjects

Biere, Armin.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Hardware and software = verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers / by: Nahir, Amir.; Biere, Armin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vos, Tanja.; SpringerLink (Online service) (Language materials, printed)
Handbook of satisfiability by: Maaren, Hans van.; Heule, Marijn, (1979-); Biere, Armin. (Language materials, printed)
 
 
Change password
Login