Items where authors include "Botincan, Matko"
Jump to: Proceedings Paper
Number of items: 1.
Proceedings Paper
Botincan, Matko, Dodds, Michael David orcid.org/0000-0002-4439-0130 and Jagannathan, Suresh (2012) Resource-sensitive synchronization inference by abduction. In: POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. UNSPECIFIED. ACM , New York , pp. 309-322.