Flemming Nielson
Flemming Nielson
1955
6 books in the database
Books
ML with ConcurrencyFlemming Nielson
ML with Concurrency
Flemming Nielson · 2012
Two-level functional languagesFlemming Nielson
Two-level functional languages
Flemming Nielson · 2005
Principles of program analysisFlemming Nielson
Principles of program analysis
Flemming Nielson · 2004
ML With ConcurrencyFlemming Nielson
ML With Concurrency
Flemming Nielson · 1996
Principles of Security and TrustFlemming Nielson
Principles of Security and Trust
Flemming Nielson · 2020
Formal MethodsFlemming Nielson
Formal Methods
Flemming Nielson · 2019
Co-authored books and collections
Books that list Flemming Nielson among their authors but not as the lead author: co-written works, collections and compilations.
