Formalization of Algebraic Specification in the Development Language DEVA - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer. Formalization of Algebraic Specification in the Development Language DEVA. In Manfred Broy, Stefan Jähnichen, editors, KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Volume 1009 of Lecture Notes in Computer Science, pages 223-238, Springer, 1995.

This author has not been identified. Look up 'Thomas Santen' in GoogleThis author has not been identified. Look up 'Florian Kammüller' in GoogleThis author has not been identified. Look up 'Stefan Jähnichen' in GoogleThis author has not been identified. Look up 'Martin Beyer' in Google

runs on WebDSL