DocumentCode
2413842
Title
Program Transformations And Refinements In HOL
Author
von Wright, J. ; Sere, K.
Author_Institution
Abo Akademi University
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
231
Lastpage
239
Keywords
Application software; Artificial intelligence; Calculus; Computer science; Documentation; Formal specifications; Hardware; Logic; Parallel algorithms; Specification languages;
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.596290
Filename
596290
Link To Document