Poul Bøgh Lassen

Publications

105

Citations

H-Index

1992

Active since

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

EngineeringFormal MethodsSoftware AnalysisFormal VerificationComputer EngineeringFormal Specification

Publications per year

1992–1994

Publications

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

Formal Specification, Engineering, System Specification +6

Rows per page

1–2 of 2