Graph-based software specification and verification / Hermannus Kastenberg
mainEntity
Graph-based software specification and verification / Hermannus Kastenberg
about
author
description
Naam op omslag: Harmen Kastenberg
Proefschrift Universiteit Twente, Enschede
inLanguage
isbn
9789036527347
mainEntityOfPage
name
Graph-based software specification and verification
numberOfPages
publication
sameAs
label
Graph-based software specification and verification / Hermannus Kastenberg