Armin Biere

1 works and 1 book versions on Book-Sharing

Armin Biere is represented on Book-Sharing with 1 books, especially in Computers. Popular entries include Hardware and Software: Verification and Testing.

Including 1 additional editions and alternate versions (2 total linked versions)

Computers EN books Hardware and Software: Verification and Testing

Hardware and Software: Ve

Hardware and Software: Verification and Testing (2013)

+1 more version EN Popularity 20

Computers

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio…

Book-Sharing 2026 - Impressum | Datenschutz