Article,
Computational contracts.
C. Scholliers, É. Tanter, and W. Meuter.Sci. Comput. Program., (2015)
Meta data
- BibTeX key
- journals/scp/ScholliersTM15
- entry type
- article
- year
- 2015
- journal
- Sci. Comput. Program.
- pages
- 360-375
- volume
- 98
- ee
- https://doi.org/10.1016/j.scico.2013.09.005
- url
- http://dblp.uni-trier.de/db/journals/scp/scp98.html#ScholliersTM15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/scp/ScholliersTM15
%A Scholliers, Christophe
%A Tanter, Éric
%A Meuter, Wolfgang De
%D 2015
%J Sci. Comput. Program.
%K dblp
%P 360-375
%T Computational contracts.
%U http://dblp.uni-trier.de/db/journals/scp/scp98.html#ScholliersTM15
%V 98
@article{journals/scp/ScholliersTM15,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Scholliers, Christophe and Tanter, Éric and Meuter, Wolfgang De},
biburl = {https://www.bibsonomy.org/bibtex/22108d56acf00b7d4fc46d05ad70cdb50/dblp},
ee = {https://doi.org/10.1016/j.scico.2013.09.005},
interhash = {4493c220dc1a923a5e634ad6426a7d77},
intrahash = {2108d56acf00b7d4fc46d05ad70cdb50},
journal = {Sci. Comput. Program.},
keywords = {dblp},
pages = {360-375},
timestamp = {2024-04-09T05:29:27.000+0200},
title = {Computational contracts.},
url = {http://dblp.uni-trier.de/db/journals/scp/scp98.html#ScholliersTM15},
volume = 98,
year = 2015
}