{"id":"1509262","title":"Modular verification of dynamically adaptive systems","pdf":"https://dl.acm.org/ft_gateway.cfm?id=1509262&ftid=602718&dwn=1&CFID=19942315&CFTOKEN=41b1e368c6a61a1f-3D75F9B8-E348-900C-E621D3E50DC4B2A3","authors":[{"type":"author_page","name":"Ji Zhang","id":"81100124032","affiliation":{"type":"inst_page","name":"Michigan State University, East Lansing, MI, USA","id":"60031707"}},{"type":"author_page","name":"Heather J. Goldsby","id":"81314488626","affiliation":{"type":"inst_page","name":"Michigan State University, East Lansing, MI, USA","id":"60031707"}},{"type":"author_page","name":"Betty H.C. Cheng","id":"81363600710","affiliation":{"type":"inst_page","name":"Michigan State University, East Lansing, MI, USA","id":"60031707"}}],"publisher":{"text":"AOSD '09 Proceedings of the 8th ACM international conference on Aspect-oriented software development","details":"Pages 161-172\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.1509262"}}