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)

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

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=007560318

Abstract Views and Downloads
Views	15
Downloads	8

Abstract Views and Downloads by Country
	Views	4
	Downloads	3
United States	Views	2
United States	Downloads	2
Greece	Views	1
Greece	Downloads	1
Switzerland	Views	2
Switzerland	Downloads	1
United Kingdom	Views	1
United Kingdom	Downloads	1
China	Views	2
China	Downloads	0
France	Views	1
France	Downloads	0
Germany	Views	1
Germany	Downloads	0
Italy	Views	1
Italy	Downloads	0