Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , | 
| Format: | eBook | 
| Language: | English | 
| Published: | 
      Cham :
        Springer International Publishing : Imprint: Springer,
    
      2017.
     | 
| Edition: | 1st ed. 2017. | 
| Series: | Programming and Software Engineering ;
              10548             | 
| Subjects: | 
Sistema de Bibliotecas del Tecnológico de Costa Rica
| Copy | Available | 
|---|