Integrating formal verification in an online judge for e-Learning logic circuit design
about
Integrating formal verification in an online judge for e-Learning logic circuit design
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована у 2012
@uk
name
Integrating formal verification in an online judge for e-Learning logic circuit design
@en
Integrating formal verification in an online judge for e-Learning logic circuit design
@nl
type
label
Integrating formal verification in an online judge for e-Learning logic circuit design
@en
Integrating formal verification in an online judge for e-Learning logic circuit design
@nl
prefLabel
Integrating formal verification in an online judge for e-Learning logic circuit design
@en
Integrating formal verification in an online judge for e-Learning logic circuit design
@nl
P50
P356
P1476
Integrating formal verification in an online judge for e-Learning logic circuit design
@en
P2093
Jordi Petit
P356
10.1145/2157136.2157268
P577
2012-01-01T00:00:00Z