Nikolaj Bjørner. Engineering Theories with Z3. In Konstantin Korovin, Stephan Schulz, Eugenia Ternovska, editors, IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. Volume 22 of EPiC Series, pages 1-2, EasyChair, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.