ITU

Charge! - A Framework for Higher-Order Separation Logic in Coq

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationInteractive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
PublisherSpringer
Publication date2012
Pages315-331
ISBN (Print)978-3-642-32346-1
ISBN (Electronic)978-3-642-32347-8
DOIs
Publication statusPublished - 2012
EventInteractive Theorem Proving - Princeton, New Jersey, Princeton, United States
Duration: 13 Aug 201215 Aug 2012
Conference number: 3
http://itp2012.cs.princeton.edu/

Conference

ConferenceInteractive Theorem Proving
Nummer3
LocationPrinceton, New Jersey
LandUnited States
ByPrinceton
Periode13/08/201215/08/2012
Internetadresse
SeriesLecture Notes in Computer Science
Volume7406

ID: 38197807