A Machine-checked Correctness Proof for Pastry

Azmy, Noran; Merz, Stephan; Weidenbach, Christoph

doi:10.1016/j.scico.2017.08.003

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2589659_2

DetailsSummary

A Machine-checked Correctness Proof for Pastry

Azmy, N., Merz, S., & Weidenbach, C. (2018). A Machine-checked Correctness Proof for Pastry. Science of Computer Programming, 158, 64-80. doi:10.1016/j.scico.2017.08.003.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0001-4F95-F Version Permalink: https://hdl.handle.net/21.11116/0000-0001-4F96-E

Genre: Journal Article

Latex : A machine-checked correctness proof for {Pastry}

Files

show Files

Locators

show

Creators

show

hide

Creators:
Azmy, Noran¹, Author
Merz, Stephan², Author
Weidenbach, Christoph¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2017Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1016/j.scico.2017.08.003
BibTex Citekey: Azmy2018

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Science of Computer Programming

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Amsterdam : Elsevier

Pages: - Volume / Issue: 158 Sequence Number: - Start / End Page: 64 - 80 Identifier: ISSN: 0167-6423
CoNE: https://pure.mpg.de/cone/journals/resource/954925483663