Automatic verification of Pascal programs

Metadata Label Value
Author(s): Marmier, Edouard
Publisher: Juris
Citation:

Marmier, Edouard. Automatic verification of Pascal programs. Juris (1975). http://dx.doi.org/10.3929/ethz-a-000203993

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (474.65KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Automatic verification of Pascal programs
Author(s) Marmier, Edouard
Publication Place Zürich
Publisher Juris
Publication Date 1975
Notes Diss. Math. ETH Zürich, Nr. 5629, 0000. Ref.: Wirth, N. ; Korref.: Engeler, E.
Language English
DOI http://dx.doi.org/10.3929/ethz-a-000203993
ISBN 3-260-04005-6
Subject(s) Software
Keyword(s) VERIFICATION
Description File Name MIME Type Size
Abstract   eth-35258-01.pdf application/pdf 474.65KB
Abstract Views and Downloads
Views 51  abstracts
Downloads 53  downloads

Abstract Views and Downloads by Country
Views 15  abstracts
Downloads 23  downloads
United States Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views 13  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Bulgaria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Madagascar Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 08:43:21 CET