César Sánchez
External collaborator
Publications
Simula-affiliated publications listed
2016
Book Chapters
Read Leveraging DTrace for Runtime Verification
C. M. Rosenberg, M. Steffen and V. Stolz
Leveraging DTrace for Runtime Verification
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings