ImpUNITY: UNITY with Procedures and Local Variables - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rob T. Udink, Joost N. Kok. ImpUNITY: UNITY with Procedures and Local Variables. In Bernhard Möller, editor, Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Volume 947 of Lecture Notes in Computer Science, pages 452-472, Springer, 1995.

This author has not been identified. Look up 'Rob T. Udink' in GoogleThis author has not been identified. Look up 'Joost N. Kok' in Google

runs on WebDSL