Feedback on the Current Page
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli. Applied Deductive Verification (Dagstuhl Seminar 03451). Dagstuhl Seminar Report 401, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{basin_et_al:DagSemRep.401,
author = {Basin, David and Ganzinger, Harald and Harrison, John R. and Pnueli, Amir},
title = {{Applied Deductive Verification (Dagstuhl Seminar 03451)}},
pages = {1--6},
ISSN = {1619-0203},
year = {2003},
type = {Dagstuhl Seminar Report},
number = {401},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.401},
URN = {urn:nbn:de:0030-drops-152813},
doi = {10.4230/DagSemRep.401},
}
Published in: LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019)
10th International Conference on Interactive Theorem Proving (ITP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 141, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Proceedings{harrison_et_al:LIPIcs.ITP.2019,
title = {{LIPIcs, Volume 141, ITP'19, Complete Volume}},
booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-122-1},
ISSN = {1868-8969},
year = {2019},
volume = {141},
editor = {Harrison, John and O'Leary, John and Tolmach, Andrew},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019},
URN = {urn:nbn:de:0030-drops-112972},
doi = {10.4230/LIPIcs.ITP.2019},
annote = {Keywords: Theory of computation, Logic}
}
Published in: LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019)
10th International Conference on Interactive Theorem Proving (ITP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 141, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{harrison_et_al:LIPIcs.ITP.2019.0,
author = {Harrison, John and O'Leary, John and Tolmach, Andrew},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-122-1},
ISSN = {1868-8969},
year = {2019},
volume = {141},
editor = {Harrison, John and O'Leary, John and Tolmach, Andrew},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019.0},
URN = {urn:nbn:de:0030-drops-110550},
doi = {10.4230/LIPIcs.ITP.2019.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}