Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving

Additional Metadata
THEME	Software (theme 1)
Promotor	J.C. van de Pol (Jaco) , W.J. Fokkink (Wan)
Degree Grantor	Universiteit Twente
ISBN	978-90-6464-273-9
Persistent URL	doi.org/10.3990/1.9789064642739
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2008-20
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Calamé, J. (2008). Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving. In IPA dissertation series.https://doi.org/10.3990/1.9789064642739

Publication