about
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована у 2009
@uk
name
Advanced verification by automatic property generation
@en
Advanced verification by automatic property generation
@nl
type
label
Advanced verification by automatic property generation
@en
Advanced verification by automatic property generation
@nl
prefLabel
Advanced verification by automatic property generation
@en
Advanced verification by automatic property generation
@nl
P2093
P1476
Advanced verification by automatic property generation
@en
P2093
P356
10.1049/IET-CDT.2008.0110
P577
2009-01-01T00:00:00Z