Concepedia

Poul Bøgh Lassen

PB

Statistics

Publications

2

Citations

105

H-Index

2

Active since

1992

Affiliations

Instituttet for Anvendt Datateknik (Denmark)(Current)

Poul Bøgh Lassen is an author at Instituttet for Anvendt Datateknik (Denmark) specializing in formal methods, computer engineering, and formal verification.

Top concepts

Publications per year

1992–1994

2

Publications

2

The IFAD VDM-SL toolbox

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen · ACM SIGPLAN Notices · 1994 · 92 citations · Full text

Making specifications executable — Using IPTES Meta-IV

Michael Andersen, René Elmstrøm, Poul Bøgh Lassen et al. · Microprocessing and Microprogramming · 1992 · 13 citations

, , +6

Rows per page

1–2 of 2