Back to Search Start Over

Proving total correctness of recursive procedures

Authors :
America, P.H.M. (Pierre)
Boer, F.S. (Frank) de
America, P.H.M. (Pierre)
Boer, F.S. (Frank) de
Publication Year :
1989

Details

Database :
OAIster
Notes :
English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1366579011
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details