Export 1 results:
Search results for biblio_year:1979
Filters: 1 is biblio_year:1987 and 2 is biblio_year:2016 and 3 is biblio_year:2012 and 4 is biblio_year:1985 and 5 is biblio_type:Book Chapter and 6 is biblio_year:2015 and Author is Steffen, Martin  [Reset Search]
2016
C. M. Rosenberg, M. Steffen and V. Stolz. "Leveraging DTrace for Runtime Verification." In Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings, edited by Y. Falcone and C. Sánchez, 318-332. Cham: Springer International Publishing, 2016.