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/cade/CollinsD00
%A Collins, Graham
%A Dennis, Louise A.
%B CADE
%D 2000
%E McAllester, David A.
%I Springer
%K dblp
%P 497-501
%T System Description: Embedding Verification into Microsoft Excel.
%U http://dblp.uni-trier.de/db/conf/cade/cade2000.html#CollinsD00
%V 1831
%@ 3-540-67664-3
@inproceedings{conf/cade/CollinsD00,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Collins, Graham and Dennis, Louise A.},
biburl = {https://www.bibsonomy.org/bibtex/2ea6169e7b1ca05dd03225a04895b9339/dblp},
booktitle = {CADE},
crossref = {conf/cade/2000},
editor = {McAllester, David A.},
ee = {https://doi.org/10.1007/10721959_40},
interhash = {feda9ec16e095ec6f6b5f6260ac0a290},
intrahash = {ea6169e7b1ca05dd03225a04895b9339},
isbn = {3-540-67664-3},
keywords = {dblp},
pages = {497-501},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T18:56:02.000+0200},
title = {System Description: Embedding Verification into Microsoft Excel.},
url = {http://dblp.uni-trier.de/db/conf/cade/cade2000.html#CollinsD00},
volume = 1831,
year = 2000
}