Martin Beyer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238

2 Matthias Anlauff, Martin Beyer, Thomas Santen: Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252

Selection of 2 from 4 records - Martin Beyer has 6 coauthors

4		Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238
2		Matthias Anlauff, Martin Beyer, Thomas Santen: Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252