AB62: Self-contained proof of a rule for procedure calls

A. Bijlsma

Research output: Other contributionOther research output

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1996

Cite this