%0 Conference Paper %1 conf/seke/AsteasuainB10 %A Asteasuain, Fernando %A Braberman, Víctor A. %B SEKE %D 2010 %I Knowledge Systems Institute Graduate School %K dblp %P 430-436 %T Specification patterns can be formal and still easy. %U http://dblp.uni-trier.de/db/conf/seke/seke2010.html#AsteasuainB10 %@ 1-891706-26-8

@inproceedings{conf/seke/AsteasuainB10, added-at = {2010-11-29T00:00:00.000+0100}, author = {Asteasuain, Fernando and Braberman, Víctor A.}, biburl = {https://www.bibsonomy.org/bibtex/2919877069e333bdcb463e49401f07b57/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2010}, ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2010_Proceedings.pdf}, interhash = {b2a331e2b350e8564342ca15ccf4792c}, intrahash = {919877069e333bdcb463e49401f07b57}, isbn = {1-891706-26-8}, keywords = {dblp}, pages = {430-436}, publisher = {Knowledge Systems Institute Graduate School}, timestamp = {2020-03-13T12:22:31.000+0100}, title = {Specification patterns can be formal and still easy.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2010.html#AsteasuainB10}, year = 2010 }