Export 1 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:1995 and 2 is biblio_type:Technical reports and 3 is biblio_year:2014 and 4 is biblio_year:1978 and 5 is biblio_type:Public outreach and 6 is biblio_type:Book Chapter and 7 is biblio_year:2016 and 8 is biblio_year:1987 and 9 is biblio_year:2004 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.