Nikolaj Bjørner

No bio available. Add one in Open Library.

Books by Nikolaj Bjørner (50 max)

+ shelf+ list

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

2015

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

+ shelf+ list

FM 2015 : Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2015

Nikolaj Bjørner, Frank de Boer

+ shelf+ list

Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

2011

Nikolaj Bjørner, Viorica Sofronie-Stokkermans