Translatability and decidability questions for restricted classes of program schemas
Translatability and decidability questions for restricted classes of program schemas
1978
Elaine J. Weyuker
Details
First published
1978
OL Work ID
OL12296257W
Find this book
Open Library