مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2413625

Title :

Proof Of Program Transformations

Author :

Roxas, Rachel ; Newey, Malcolm

Author_Institution :

The Australian National University

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

223

Lastpage :

230

Keywords :

Automation; Computer bugs; Computer languages; Computer science; Inspection; Refining; Specification languages; Taxonomy; Trademarks; Writing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location :

Davis, CA, USA

Print_ISBN :

0-8186-2460-4

Type :

conf

DOI :

10.1109/HOL.1991.596289

Filename :

596289

Link To Document :