English
Unordered
Lectures on Runtime Verification: Introductory and Advanced Topics
Ezio Bartocci,Yliès Falcone (eds.)
2018
View book
Discover references
Ezio Bartocci,Yliès Falcone (eds.)