A Simple Refinement Language for Casl - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Till Mossakowski, Donald Sannella, Andrzej Tarlecki. A Simple Refinement Language for Casl. In José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Volume 3423 of Lecture Notes in Computer Science, pages 162-185, Springer, 2004. [doi]

Identified as Till Mossakowski Identified as Donald Sannella This author has not been identified. Look up 'Andrzej Tarlecki' in Google

runs on WebDSL