Statistics
Publications
15
Citations
390
H-Index
12
Active since
1977
Affiliations
Technical University of Denmark(Current)
Dines Bjørner is an author at Technical University of Denmark specializing in computing, computer science, and formal methods.
Publications per year
1977–2019
15
15
A survey of domain engineering
Dines Bjørner · 2012 · 26 citations
Engineering, Systems Engineering, Requirements Engineering +14
1–5 of 15