Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/oopsla/LogozzoBFCC12
%A Logozzo, Francesco
%A Barnett, Michael
%A Fähndrich, Manuel
%A Cousot, Patrick
%A Cousot, Radhia
%B SPLASH
%D 2012
%E Leavens, Gary T.
%I ACM
%K
%P 15-16
%T A semantic integrated development environment.
%U http://dblp.uni-trier.de/db/conf/oopsla/splash2012.html#LogozzoBFCC12
%@ 978-1-4503-1563-0
@inproceedings{conf/oopsla/LogozzoBFCC12,
added-at = {2023-12-14T14:44:23.000+0100},
author = {Logozzo, Francesco and Barnett, Michael and Fähndrich, Manuel and Cousot, Patrick and Cousot, Radhia},
biburl = {https://www.bibsonomy.org/bibtex/291ef3f76c7ef6bff7d121dd904256025/admin},
booktitle = {SPLASH},
crossref = {conf/oopsla/2012s},
editor = {Leavens, Gary T.},
ee = {https://doi.org/10.1145/2384716.2384724},
interhash = {e2b97e86de4e6a72ce17034f00df7808},
intrahash = {91ef3f76c7ef6bff7d121dd904256025},
isbn = {978-1-4503-1563-0},
keywords = {},
pages = {15-16},
publisher = {ACM},
timestamp = {2023-12-14T14:44:23.000+0100},
title = {A semantic integrated development environment.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/splash2012.html#LogozzoBFCC12},
year = 2012
}