about
description
im März 2012 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в березні 2012
@uk
name
On theorem prover-based testing
@en
On theorem prover-based testing
@nl
type
label
On theorem prover-based testing
@en
On theorem prover-based testing
@nl
prefLabel
On theorem prover-based testing
@en
On theorem prover-based testing
@nl
P1476
On theorem prover-based testing
@en
P2093
Achim D. Brucker
Burkhart Wolff
P2888
P304
P356
10.1007/S00165-012-0222-Y
P577
2012-03-07T00:00:00Z