Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Symbolic Execution of Concurrent Objects in CLP
PADL, 2012.
@inproceedings{PADL-2012-AlbertAG, author = "Elvira Albert and Puri Arenas and Miguel Gómez-Zamalloa", booktitle = "{Proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages}", doi = "10.1007/978-3-642-27694-1_10", isbn = "978-3-642-27693-4", pages = "123--137", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Symbolic Execution of Concurrent Objects in CLP}", volume = 7149, year = 2012, }