Original language | English |
---|---|
Publisher | Technische Universiteit Eindhoven |
Publication status | Published - 1996 |
AB62: Self-contained proof of a rule for procedure calls
A. Bijlsma
Research output: Other contribution › Other research output
A. Bijlsma
Research output: Other contribution › Other research output
Original language | English |
---|---|
Publisher | Technische Universiteit Eindhoven |
Publication status | Published - 1996 |