Difference between revisions of "Rewriting-based Techniques for Runtime Verification"
From FSL
| Line 2: | Line 2: | ||
<pub id="rosu-havelund-05" template="PubDefaultWithAbstract"> </pub> | <pub id="rosu-havelund-05" template="PubDefaultWithAbstract"> </pub> | ||
| − | ==== Useful links ==== | + | ===== Useful links ===== |
:[[Runtime Verification]] | :[[Runtime Verification]] | ||
Revision as of 21:15, 8 March 2006
