11.

Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995

10.

Reif, Wolfgang
The KIV-approach to Software Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report Band 1009 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
1995

9.

Hutter, D.; Langenstein, B.; Koob, F.; Reif, Wolfgang; Sengler, C.; Stephan, W.; Ullmann, M.; Wittmann, M.; Wolpers, A.
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
In Gotzheim, B., Editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme
Universität Kaiserslautern
1995

8.

Fuchß, T.; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Three Selected Case Studies in Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report Band 1009 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
1995

7.

Achatz, Klaus; Schulte, Wolfram
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994

6.

Schulte, Wolfram; Vullinghs, Ton
Linking Reactive Software to the X-Window System
Dokument Nummer: 94-14
Universität Ulm
1994

5.

Vullinghs, Ton
Transformational Program Development Using CIPS
In Buth, B. and Berghammer, R., Editor, Systems for Computer-Aided Specification, Development and Verification
Christian-Albrechts-Universität Kiel
1994

4.

Boiten, E. A.; Geerling, A. M.; Partsch, H. A.
Transformational derivation of (parallel) programs using skeletons
Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy
November 1993

3.

Partsch, Helmuth
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: Springer-Verlag
1993
183-224

2.

Formal Program Development: IFIP TC2 State-of-the-Art Report
In Möller, B. and Partsch, H. and Schuman, S., Editor, Band 755 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
1993

1.

Partsch, Helmuth
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Herausgeber: Kluwer Academic Publishers
1993