Skip to content
Home
Videos
Books
All
Topics
Trends
Blogs
Podcasts
Surprise me
History
Lists
Watch later
Liked videos
Following
Home
Videos
Books
Blogs
Podcasts
Ctrl K
Books
Flemming Nielson
2 books · 12 recommendations on HN
2011–2024
Principles of program analysis
Flemming Nielson
7
recommend · 15
2009–2020
Semantics with applications
Hanne Riis Nielson
5
recommend · 9