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

Hans Bruun

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

1991
3 Hans Bruun, Bo Stig Hansen, Flemming M. Damm: An Approach to the Static Semantics of VDM-SL. VDM Europe (1) 1991: 220-253
2 Flemming M. Damm, Bo Stig Hansen, Hans Bruun: On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) 1991: 45-62
1 Flemming M. Damm, Hans Bruun, Bo Stig Hansen: The VDM-SL Editor and Consistency Checker. VDM Europe (1) 1991: 693-694

Coauthor Index

1Flemming M. Damm [1] [2] [3]
2Bo Stig Hansen [1] [2] [3]

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