%0 Conference Paper %1 conf/icse/LapetsSBK13 %A Lapets, Andrei %A Skowyra, Richard %A Bestavros, Azer %A Kfoury, Assaf J. %B TOPI@ICSE %D 2013 %I IEEE Computer Society %K dblp %P 19-24 %T Towards accessible integration and deployment of formal tools and techniques. %U http://dblp.uni-trier.de/db/conf/icse/topi2013.html#LapetsSBK13 %@ 978-1-4673-6288-7

@inproceedings{conf/icse/LapetsSBK13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Lapets, Andrei and Skowyra, Richard and Bestavros, Azer and Kfoury, Assaf J.}, biburl = {https://www.bibsonomy.org/bibtex/2f728888381b1783e5223167eef783c88/dblp}, booktitle = {TOPI@ICSE}, crossref = {conf/icse/2013topi}, ee = {https://www.wikidata.org/entity/Q61693614}, interhash = {b255e2599cd606ae2c0cf3f6ad826484}, intrahash = {f728888381b1783e5223167eef783c88}, isbn = {978-1-4673-6288-7}, keywords = {dblp}, pages = {19-24}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:44:06.000+0200}, title = {Towards accessible integration and deployment of formal tools and techniques.}, url = {http://dblp.uni-trier.de/db/conf/icse/topi2013.html#LapetsSBK13}, year = 2013 }