Bo Stig Hansen

According to our database, Bo Stig Hansen authored at least 6 papers between 1990 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Semantics of Under-determined Expressions.

Peter Gorm Larsen, Bo Stig Hansen

Formal Aspects Comput., 1996

1993

Generation of Proof Obligations for Type Consistency.

Flemming M. Damm, Bo Stig Hansen

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1991

On Type Checking in VDM and Related Consistency Issues.

Flemming M. Damm, Bo Stig Hansen, Hans Bruun

Proceedings of the VDM '91, 1991

The VDM-SL Editor and Consistency Checker.

Flemming M. Damm, Hans Bruun, Bo Stig Hansen

Proceedings of the VDM '91, 1991

An Approach to the Static Semantics of VDM-SL.

Hans Bruun, Bo Stig Hansen, Flemming M. Damm

Proceedings of the VDM '91, 1991

1990

A Function-based Formatting Model.

Bo Stig Hansen

Electron. Publ., 1990