Concepedia

Author

Poul Bøgh Lassen

Instituttet for Anvendt Datateknik (Denmark)

Also Known As

Poul B. Lassen, Poul Bøgh Lassen

4

Publications

155

Citations

4

H-Index

6

Concepts

All Affiliations

Instituttet for Anvendt Datateknik (Denmark)
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