Program Construction by Parts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Frappier, Ali Mili, Jules Desharnais. Program Construction by Parts. 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 257-281, Springer, 1995.

This author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Ali Mili' in GoogleThis author has not been identified. Look up 'Jules Desharnais' in Google

runs on WebDSL