%0 Conference Paper %1 conf/icst/AydalPUW09 %A Aydal, Emine Gokce %A Paige, Richard F. %A Utting, Mark %A Woodcock, Jim %B ICST %D 2009 %I IEEE Computer Society %K dblp %P 131-140 %T Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. %U http://dblp.uni-trier.de/db/conf/icst/icst2009.html#AydalPUW09 %@ 978-0-7695-3601-9

@inproceedings{conf/icst/AydalPUW09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Aydal, Emine Gokce and Paige, Richard F. and Utting, Mark and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2cb30c142f2ddc38450522ec285a7b808/dblp}, booktitle = {ICST}, crossref = {conf/icst/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICST.2009.20}, interhash = {f12112ed1c08aa6f2a6c3e58157d36e7}, intrahash = {cb30c142f2ddc38450522ec285a7b808}, isbn = {978-0-7695-3601-9}, keywords = {dblp}, pages = {131-140}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:21:22.000+0200}, title = {Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2009.html#AydalPUW09}, year = 2009 }