ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationInteractive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
EditorsChristian Urban , Xingyuan Zhang
Number of pages16
PublisherSpringer
Publication year2015
Pages375-390
ISBN (print)978-3-319-22101-4
ISBN (Electronic)978-3-319-22102-1
DOIs
Publication statusPublished - 2015
Eventnternational Conference on Interactive Theorem Proving - Nanjing, China
Duration: 24 Aug 201527 Aug 2015
Conference number: 6

Conference

Conferencenternational Conference on Interactive Theorem Proving
Nummer6
LandChina
ByNanjing
Periode24/08/201527/08/2015
SeriesLecture Notes in Computer Science
Volume9236
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 91067674