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 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. Retrieved from http://dx.doi.org/10.3990/1.9789064642739

Publication