Nikolaj Bjørner

Books
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2019
Distributed Computing and Internet Technology Distributed Computing and Internet Technology
Distributed Computing and Internet Technology
2016
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
2011