Login / Signup

On theorem prover-based testing.

Achim D. BruckerBurkhart Wolff
Published in: Formal Aspects Comput. (2013)
Keyphrases