Armin Biere

Full author bios, photos, and release calendars arrive with the author data source in a later phase. For now, here's their work on NoReads.

Books by Armin Biere

Hardware and Software: Verification and TestingArmin Biere · 2013

Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere · 2020