Menu

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

obnb.uk is a Good Stuff website.