Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé
mainEntity
Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé
hasDerivative
about
author
description
Proefschrift Universiteit Twente, Enschede
inLanguage
isPartOf
isbn
9789064642739
mainEntityOfPage
name
Testing reactive systems with data : enumerative methods and constraint solving
numberOfPages
publication
sameAs
label
Testing reactive systems with ...... olving / Jens Rüdiger Calamé