Runtime verification 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /

Por RV 2009, Bensalem, Saddek., Peled, Doron A.
Publicado em 2009

Verification, model checking, and abstract interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008: proceedings /

Por VMCAI 2008, Logozzo, Francesco., Peled, Doron A., Zuck, Lenore D.
Publicado em c200

Model checking and artificial intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008: revised selected and invited papers /

Por MoChArt 2008, Peled, Doron A., Wooldridge, Michael J.
Publicado em 2009