Saddek Bensalem
2 published titles
Runtime verification : 4th international conference, RV 2013 Rennes, France, September 24-27, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642407864
- Springer
- 2013
- Details
From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783642548475
- Springer
- 2014
- Details