Bo Stig Hansen

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

Publications

Peter Gorm Larsen, Bo Stig Hansen
Semantics of Under-determined Expressions. Formal Aspects Comput. 8 (1) (1996)
Flemming M. Damm, Bo Stig Hansen
Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages (1993)
Flemming M. Damm, Bo Stig Hansen, Hans Bruun
On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) (1991)
Hans Bruun, Bo Stig Hansen, Flemming M. Damm
An Approach to the Static Semantics of VDM-SL. VDM Europe (1) (1991)
Flemming M. Damm, Hans Bruun, Bo Stig Hansen
The VDM-SL Editor and Consistency Checker. VDM Europe (1) (1991)
Bo Stig Hansen
A Function-based Formatting Model. Electron. Publ. 3 (1) (1990)