Nikolaj Björner
4 published titles
Automated deduction - CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5 2011: proceedings
(Contributor)
1 edition
- ISBN: 9783642224379
- Springer
- 2011
- Details
Logic for programming, artificial intelligence and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642287169
- Springer
- 2012
- Details
FM 2015 : Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319192482
- Springer
- 2015
- Details
Distributed computing and internet technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, proceedings
(Contributor)
1 edition
- ISBN: 9783319280332
- Springer
- 2016
- Details
