Concepedia

Author

Poul Bøgh Lassen

Also Known As

Poul B. Lassen, Poul Bøgh Lassen

4

Publications

155

Citations

4

H-Index

6

Concepts

All Affiliations

PB

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Engineering

1

1

13

3

Software Analysis

1

1

13

4

Formal Methods

1

1

13

5

Formal Specification

1

1

13

Poul Bøgh Lassen

×

2

Publications

105

Citations

2

H-Index

YearCitations

Page 1