{"id":"2457406","title":"User-friendly event and aspect verification","pdf":"https://dl.acm.org/ft_gateway.cfm?id=2457407&ftid=1357207&dwn=1&CFID=109511651&CFTOKEN=53aa662d04f2982-66B82081-A6D2-1FCD-63F1A773BEA60045","authors":[{"type":"author_page","name":"Cynthia Disenfeld","id":"81482662226","affiliation":{"type":"inst_page","name":"Technion - Israel Institute of Technology, Haifa, Israel","id":"60022403"}}],"publisher":{"text":"AOSD '13 Companion Proceedings of the 12th annual international conference companion on Aspect-oriented software development","details":"Pages 33-34\nFukuoka, Japan — March 24 - 29, 2013\nACM New York, NY, USA  ©2013\ntable of contents\nISBN: 978-1-4503-1873-0\ndoi>10.1145/2457392.2457407"}}