Static correctness of hierarchical procedures

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0032020 ◽

2005 ◽

pp. 32-45

Author(s):

Michael I. Schwartzbach

Download Full-text