Rumer

Metadata Label Value
Author(s): Balzer, Stephanie
Publisher: ETH
Citation:

Balzer, Stephanie. Rumer. a programming language and modular verification technique based on relationships. ETH (2011). http://dx.doi.org/10.3929/ethz-a-007086593

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (123.25KB) , Fulltext (1.30MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Rumer
Subtitle a programming language and modular verification technique based on relationships
Author(s) Balzer, Stephanie
Publication Place Zürich
Publisher ETH
Publication Date 2011
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 19851, 2011
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007086593
Subject(s) Software
Keyword(s) SPECIAL PROGRAMMING LANGUAGES
VERIFICATION
Online Publication Date 2012
Description File Name MIME Type Size
Abstract   eth-5336-01.pdf application/pdf 123.25KB
Fulltext   eth-5336-02.pdf application/pdf 1.30MB
Abstract Views and Downloads
Views 184  abstracts
Downloads 366  downloads

Abstract Views and Downloads by Country
Views 47  abstracts
Downloads 143  downloads
United States Views 43  abstracts
Downloads 61  downloads
Germany Views 16  abstracts
Downloads 34  downloads
Switzerland Views 26  abstracts
Downloads 26  downloads
China Views 20  abstracts
Downloads 20  downloads
Poland Views abstracts
Downloads 18  downloads
United Kingdom Views abstracts
Downloads 16  downloads
Canada Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Slovenia Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads


E-Collection record created: Mon, 19 Mar 2012, 09:48:18 CET