%0 Conference Paper %1 conf/tap/CarlierDG12 %A Carlier, Matthieu %A Dubois, Catherine %A Gotlieb, Arnaud %B TAP %D 2012 %E Brucker, Achim D. %E Julliand, Jacques %I Springer %K dblp %P 35-50 %T A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. %U http://dblp.uni-trier.de/db/conf/tap/tap2012.html#CarlierDG12 %V 7305 %@ 978-3-642-30472-9

@inproceedings{conf/tap/CarlierDG12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Carlier, Matthieu and Dubois, Catherine and Gotlieb, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/2a0233bba6bf8ec2e4eb2b8341eb14f27/dblp}, booktitle = {TAP}, crossref = {conf/tap/2012}, editor = {Brucker, Achim D. and Julliand, Jacques}, ee = {https://doi.org/10.1007/978-3-642-30473-6_5}, interhash = {f9256457056f81db5510adb5283a928c}, intrahash = {a0233bba6bf8ec2e4eb2b8341eb14f27}, isbn = {978-3-642-30472-9}, keywords = {dblp}, pages = {35-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:28:34.000+0200}, title = {A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2012.html#CarlierDG12}, volume = 7305, year = 2012 }