Logic and Abstraction, Verification and Falsification (2008)

by Jan-georg Smaus