Normal view
MARC view
Bjørner, Dines (Personal Name)
Machine generated authority record.
Work cat.: (OSt)283086: Bjørner, Dines, Vdm '87 vdm - a formal method at work (e-book), 1987