dblp.uni-trier.dewww.uni-trier.de

Ingrid Glasner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1980
2 Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm: OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen 1980: 125-142
1978
1 Jacques Loeckx, Ingrid Glasner: A calculus for proving properties of while-programs. Mathematical Studies of Information Processing 1978: 252-281

Coauthor Index

1Jacques Loeckx [1]
2Ulrich Möncke [2]
3Reinhard Wilhelm [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)