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
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2008-20
Citation APA Style AAA Style APA 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, September 4). Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving. IPA dissertation series.

Publication