Conferences in DBLP
Manfred Broy , Martin Wirsing Correct Software: From Experiments to Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Pepper , Martin Wirsing A Method for the Development of Correct Software. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Pepper , R. Betschko , S. Dick , Klaus Didrich Realizing Sets by Hash Tables. [Citation Graph (0, 0)][DBLP ] Conf ] G. Michele Pinna , Axel Poigné Event Automata as a Generic Model of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Lewerentz , Thomas Lindner , Andreas Rüping , Emil Sekerinski On Object-Oriented Design and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Gastinger , Rolf Hennicker , Robert Stabl Design of Modular Software Systems with Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Rudi Hettler , Dieter Nazareth , Franz Regensburger , Oscar Slotosch AVL Trees Revisited: A Case Study in SPECTRUM. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich , Franz Regensburger , Wolfgang Grieskamp , Carola Gerke , Rudolf Herzig , Martin Gogolla , Grit Denker , Ernst-Rüdiger Olderog Korso Reference Languages - Concepts and Application Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Wolter , Klaus Didrich , Felix Cornelius , Marcus Klar How to Cope with the Spectrum of SPECTRUM. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Burghardt A Fine-Grain Sort Discipline and Its Application to Formal Program Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gogolla , Stefan Conrad , Grit Denker , Rudolf Herzig TROLL light - The Language and its Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Santen , Florian Kammüller , Stefan Jähnichen , Martin Beyer Formalization of Algebraic Specification in the Development Language DEVA. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich W. von Henke , Axel Dold , Harald Rueß , Detlef Schwier Construction and Deduction Methods for the Formal Development of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Loeckx , Jörg Zeyer Experiences with a Specification Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner , Junbo Liu , Hui Shi , Burkhart Wolff Towards Correct, Efficient and Reusable Transformational Developments. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Deussen , A. Hansmann , Thomas Käufl , Stefan Klingenbeck The Verification System Tatzelwurm. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Stroetmann Seduct - A Proof Compiler for First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Bohn , Hardi Hungar Traverdi - Transformation and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reif The KIV-Approach to Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Fuchß , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Three Selected Case Studies in Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Lewerentz , Thomas Lindner ``Production Cell'': A Comparative Study in Formal Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Felix Cornelius , Heinrich Hußmann , Michael Löwe The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. [Citation Graph (0, 0)][DBLP ] Conf ] 