B
[BF18] Ezio Bartocci et Yliès Falcone. Lectures on Runtime Verification. Lecture Notes in Computer Science 10457. Springer-Verlag, 2018. 
@book{lectRV-BF18,
  title =               {Lectures on Runtime Verification},
  editor =              {Bartocci, Ezio and Falcone, Yli{\`e}s},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {10457},
  year =                {2018},
  doi =                 {10.1007/978-3-319-75632-5},
}
Liste des auteurs