Martin Abadi profile picture

Martin Abadi

Is this your author profile? Create an account to customize it!

Stand Alone

Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings