{"id":"1509267","title":"Modelling hardware verification concerns specified in the e language: an experience report","pdf":"https://dl.acm.org/ft_gateway.cfm?id=1509267&ftid=602722&dwn=1&CFID=19934929&CFTOKEN=49c091fdcb01900e-3BB49121-DF26-3F57-CEF1D9ADBE08AE24","authors":[{"type":"author_page","name":"Darren Galpin","id":"81100334005","affiliation":null},{"type":"author_page","name":"Cormac Driver","id":"81344489995","affiliation":{"type":"inst_page","name":"Trinity College Dublin, Dublin, Ireland","id":"60011149"}},{"type":"author_page","name":"Siobhán Clarke","id":"81100390540","affiliation":{"type":"inst_page","name":"Trinity College Dublin, Dublin, Ireland","id":"60011149"}}],"publisher":{"text":"AOSD '09 Proceedings of the 8th ACM international conference on Aspect-oriented software development","details":"Pages 207-212\nCharlottesville, Virginia, USA — March 02 - 06, 2009\nACM New York, NY, USA  ©2009\ntable of contents\nISBN: 978-1-60558-442-3\ndoi>10.1145/1509239.1509267"}}