Browse by author
Lookup NU author(s): Dr Sergiy BogomolovORCiD
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by AAAI Press, 2014.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Bogomolov S, Magazzeni D, Podelski A, Wehrle M
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: AAAI'14: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence
Year of Conference: 2014
Pages: 2228-2234
Print publication date: 01/07/2014
Acceptance date: 20/04/2014
Date deposited: 01/04/2021
Publisher: AAAI Press
URL: https://dl.acm.org/doi/10.5555/2892753.2892861
DOI: 10.5555/2892753.2892861