Graph-based software specification and verification / Hermannus Kastenberg
mainEntity
Graph-based software specification and verification / Hermannus Kastenberg
associatedMedia
<http://dx.doi.org/10.3990/1.9789036527347>
author
bookFormat
description
Proefschrift Universiteit Twente, Enschede
inLanguage
mainEntityOfPage
name
Graph-based software specification and verification
publication
label
Graph-based software specification and verification / Hermannus Kastenberg