PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Maeder, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
The VSE Refinement Method in Hets.

, , , and . ECEASST, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

Christian Bartsch University of Stuttgart

Christian Semmler University of Stuttgart

Christian Hermann University of Stuttgart

 

Other publications of authors with the same name

Programming in the Large: The Algebraic-Functional Language Opal 2alpha., , , and . Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, page 322-337. Springer, (1997)Checking Conservativity with Hets., , and . CALCO, volume 8089 of Lecture Notes in Computer Science, page 315-321. Springer, (2013)The VSE Refinement Method in Hets., , , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 660-678. Springer, (2009)SmartTies - Management of Safety-Critical Developments., , , , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 238-252. Springer, (2012)The VSE Refinement Method in Hets., , , and . ECEASST, (2013)Integrating Maude into Hets., , , and . AMAST, volume 6486 of Lecture Notes in Computer Science, page 60-75. Springer, (2010)Zur Kontextanalyse einer algebraischen Programmiersprache.. Technical University of Berlin, Germany, (2001)Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)., , , , and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 559-562. Springer, (1996)Towards Effective Verification of Multi-Model Access Control Properties., , , , and . SACMAT, page 149-160. ACM, (2019)XMI Based UML Model Composition in KobrA., , and . GI Jahrestagung (2), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 845-849. Konstanz UVK-Verl.-Ges., (2001)