|
Search the dblp DataBase
Bo Stig Hansen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hans Bruun, Bo Stig Hansen, Flemming M. Damm
An Approach to the Static Semantics of VDM-SL. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:220-253 [Conf]
- Flemming M. Damm, Hans Bruun, Bo Stig Hansen
The VDM-SL Editor and Consistency Checker. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:693-694 [Conf]
- Flemming M. Damm, Bo Stig Hansen, Hans Bruun
On Type Checking in VDM and Related Consistency Issues. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:45-62 [Conf]
- Flemming M. Damm, Bo Stig Hansen
Generation of Proof Obligations for Type Consistency. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:83-100 [Conf]
- Bo Stig Hansen
A Function-based Formatting Model. [Citation Graph (0, 0)][DBLP] Electronic Publishing, 1990, v:3, n:1, pp:3-28 [Journal]
- Peter Gorm Larsen, Bo Stig Hansen
Semantics of Under-determined Expressions. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1996, v:8, n:1, pp:47-66 [Journal]
Search in 0.001secs, Finished in 0.001secs
|