Theory of Program Structures: Schemes, Semantics, Verification

Author

Sheila A. Greibach

Publisher

Springer

Subject

Computer Science

Year

1975

Vol/Edition

36

ISBN

9783540379423