About this scholarly article

Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions by Bakker, Jaco; Leeuwen, Jan is a scholarly article available to read on EtoBox.

Author

Bakker, Jaco; Leeuwen, Jan

Publisher

Springer Berlin Heidelberg

Published

1980

Language

EN

ISBN

9780387100036