Saddek Bensalem
Identifiers
- Open LibraryOL8610747A
Books by Saddek Bensalem
Total count: 2
-
Runtime Verification9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected PapersSpringer London, Limited2009-01-01
-
From Programs to Systems - the Systems Perspective in ComputingETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, ProceedingsSpringer London, Limited2014-01-01