Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/icse/Fahndrich0LL12
%A Fähndrich, Manuel
%A Barnett, Michael
%A Leijen, Daan
%A Logozzo, Francesco
%B TOPI@ICSE
%D 2012
%E Garbervetsky, Diego
%E Kim, Sunghun
%I IEEE Computer Society
%K
%P 43-48
%T Integrating a set of contract checking tools into visual studio.
%U http://dblp.uni-trier.de/db/conf/icse/topi2012.html#Fahndrich0LL12
%@ 978-1-4673-1820-4
@inproceedings{conf/icse/Fahndrich0LL12,
added-at = {2023-12-14T15:39:05.000+0100},
author = {Fähndrich, Manuel and Barnett, Michael and Leijen, Daan and Logozzo, Francesco},
biburl = {https://www.bibsonomy.org/bibtex/2f4287639ceaacfd7e6f2b1b1ac1af5ad/admin},
booktitle = {TOPI@ICSE},
crossref = {conf/icse/2012topi},
editor = {Garbervetsky, Diego and Kim, Sunghun},
ee = {http://dl.acm.org/citation.cfm?id=2667070},
interhash = {edd98cd6a80620ce795479a9e1f0ba25},
intrahash = {f4287639ceaacfd7e6f2b1b1ac1af5ad},
isbn = {978-1-4673-1820-4},
keywords = {},
pages = {43-48},
publisher = {IEEE Computer Society},
timestamp = {2023-12-14T15:39:05.000+0100},
title = {Integrating a set of contract checking tools into visual studio.},
url = {http://dblp.uni-trier.de/db/conf/icse/topi2012.html#Fahndrich0LL12},
year = 2012
}