Christoph Blaue

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991

1 Christoph Blaue: A VDM Subset Compiler. VDM Europe (1) 1991: 697-698