Automatic verification of heap structures with stereotypes

Metadata Label	Value
Author(s):	Rudich, Arsenii
Publisher:	ETH
Citation:	Rudich, Arsenii. Automatic verification of heap structures with stereotypes. ETH (2011). http://dx.doi.org/10.3929/ethz-a-007262786
Document Type:	Doctoral and Habilitation Theses
Documents:	Abstract (39.46KB), Fulltext (1.57MB)

Detailed Information

Metadata	Description
Title	Automatic verification of heap structures with stereotypes
Author(s)	Rudich, Arsenii
Publication Place	Zürich
Publisher	ETH
Publication Date	2011
Notes	Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 20126, 2011
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-007262786
Subject(s)	Software
Keyword(s)	TESTING VERIFICATION OBJECT-ORIENTED PROGRAMMING
Organisational Unit	Department of Computer Science
Online Publication Date	2012

Description	File Name	MIME Type	Size
Abstract	eth-5571-01.pdf	application/pdf	39.46KB
Fulltext	eth-5571-02.pdf	application/pdf	1.57MB

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

Abstract Views and Downloads
Views	32
Downloads	33

Abstract Views and Downloads by Country
	Views	5
	Downloads	13
China	Views	12
China	Downloads	7
France	Views	1
France	Downloads	2
Germany	Views	2
Germany	Downloads	2
Japan	Views	1
Japan	Downloads	2
Switzerland	Views	7
Switzerland	Downloads	2
Korea, Republic of	Views	0
Korea, Republic of	Downloads	1
Peru	Views	1
Peru	Downloads	1
Poland	Views	0
Poland	Downloads	1
United Kingdom	Views	0
United Kingdom	Downloads	1
United States	Views	1
United States	Downloads	1
Netherlands	Views	1
Netherlands	Downloads	0
Ukraine	Views	1
Ukraine	Downloads	0