Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings Bjørner, Nikolaj Heftet / 2012 / Engelsk
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings Bjørner, Nikolaj Heftet / 2015 / Engelsk
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings Bjørner, Nikolaj Heftet / 2011 / Engelsk
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers Bjørner, Nikolaj Heftet / 2019 / Engelsk
