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

A. Bijlsma

Onderzoeksoutput: Andere bijdrageOverige bijdrageAndere onderzoeksoutput

Originele taal-2Engels
UitgeverTechnische Universiteit Eindhoven
StatusGepubliceerd - 1996

Citeer dit