[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions

✍ Scribed by Bakker, Jaco; Leeuwen, Jan

• Book ID: 120819497
• Publisher: Springer Berlin Heidelberg
• Year: 1980
• Weight: 744 KB
• Category: Article
• ISBN: 3540393463
• DOI: 10.1007/3-540-10003-2_84