%0 Conference Paper %1 conf/fase/CavalcantiH13 %A Cavalcanti, Ana %A Hierons, Robert M. %B FASE %D 2013 %E Cortellessa, Vittorio %E Varró, Dániel %I Springer %K %P 359-374 %T Testing with Inputs and Outputs in CSP. %U http://dblp.uni-trier.de/db/conf/fase/fase2013.html#CavalcantiH13 %V 7793 %@ 978-3-642-37056-4

@inproceedings{conf/fase/CavalcantiH13, added-at = {2023-12-12T21:40:09.000+0100}, author = {Cavalcanti, Ana and Hierons, Robert M.}, biburl = {https://www.bibsonomy.org/bibtex/21f586abd82e9967b4fe77a3b666fa30b/admin}, booktitle = {FASE}, crossref = {conf/fase/2013}, editor = {Cortellessa, Vittorio and Varró, Dániel}, ee = {https://doi.org/10.1007/978-3-642-37057-1_26}, interhash = {419bf811b77675238f01533748fe0669}, intrahash = {1f586abd82e9967b4fe77a3b666fa30b}, isbn = {978-3-642-37056-4}, keywords = {}, pages = {359-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:40:09.000+0100}, title = {Testing with Inputs and Outputs in CSP.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2013.html#CavalcantiH13}, volume = 7793, year = 2013 }