%0 Conference Paper %1 conf/re/SarmientoLA15 %A Sarmiento, Edgar %A do Prado Leite, Julio César Sampaio %A Almentero, Eduardo %B RePa@RE %D 2015 %I IEEE Computer Society %K dblp %P 47-54 %T Using correctness, consistency, and completeness patterns for automated scenarios verification. %U http://dblp.uni-trier.de/db/conf/re/repa2015.html#SarmientoLA15 %@ 978-1-5090-0122-4

@inproceedings{conf/re/SarmientoLA15, added-at = {2024-01-10T00:00:00.000+0100}, author = {Sarmiento, Edgar and do Prado Leite, Julio César Sampaio and Almentero, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/204bc58f39a469d3e00f903defae4850c/dblp}, booktitle = {RePa@RE}, crossref = {conf/re/2015repa}, ee = {https://doi.ieeecomputersociety.org/10.1109/RePa.2015.7407737}, interhash = {c63ae381a719ff262bbdb0a49a0313b3}, intrahash = {04bc58f39a469d3e00f903defae4850c}, isbn = {978-1-5090-0122-4}, keywords = {dblp}, pages = {47-54}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:22:11.000+0200}, title = {Using correctness, consistency, and completeness patterns for automated scenarios verification.}, url = {http://dblp.uni-trier.de/db/conf/re/repa2015.html#SarmientoLA15}, year = 2015 }