Programs, Proofs and Parametrized Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Iman Poernomo, John N. Crossley, Martin Wirsing. Programs, Proofs and Parametrized Specifications. In Maura Cerioli, Gianna Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Volume 2267 of Lecture Notes in Computer Science, pages 280-304, Springer, 2001. [doi]

This author has not been identified. Look up 'Iman Poernomo' in GoogleThis author has not been identified. Look up 'John N. Crossley' in GoogleThis author has not been identified. Look up 'Martin Wirsing' in Google

runs on WebDSL