A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness

Metadata Label Value
Author(s): Kassios, Ioannis T., Kritikos, Eleftherios
Publisher: ETH Zurich, Department of Computer Science
Citation:

Kassios, Ioannis T. and Kritikos, Eleftherios. A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness. ETH Zurich, Department of Computer Science (2012). http://dx.doi.org/10.3929/ethz-a-007560318

Document Type: Reports  
Documents: Text (425.15KB)
Import to Mendeley

Detailed Information

Metadata Description
Title A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness
Author(s) Kassios, Ioannis T.
Kritikos, Eleftherios
Publication Place Zurich
Publisher ETH Zurich, Department of Computer Science
Publication Date 2012
Series [Technical report / ETH Zurich, Department of Computer Science] [772]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007560318
Subject(s) Software
Keyword(s) THEORY OF PROGRAMMING
VERIFICATION
Organisational Unit Department of Computer Science
Online Publication Date 2012
Description File Name MIME Type Size
Text   eth-6073-01.pdf application/pdf 425.15KB
Abstract Views and Downloads
Views 69  abstracts
Downloads 37  downloads

Abstract Views and Downloads by Country
Views 26  abstracts
Downloads 16  downloads
United States Views 12  abstracts
Downloads downloads
China Views 17  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads


E-Collection record created: Tue, 30 Oct 2012, 05:21:34 CET