Items where Author is "Havelund, Klaus"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

Barringer, Howard and Rydeheard, David and Havelund, Klaus (2010) Rule Systems for Run-time Monitoring: from EAGLE to RULER. Journal of Logic and Computation, 20 (3). pp. 675-706. ISSN 0955-792X

Barringer, Howard and Rydeheard, David and Havelund, Klaus (2010) Rule Systems for Run-time Monitoring: from EAGLE to RULER. Journal of Logic and Computation, 20 (3). pp. 675-706. ISSN 0955-792X

Barringer, Howard and Havelund, Klaus and Rydeheard, David and Groce, Alex (2009) Rule Systems for Runtime Verification: A Short Tutorial. Lecture Notes in Computer Science, 5779. pp. 1-24. ISSN 978-3-642-04693-3

This list was generated on Mon Aug 3 01:00:59 2020 BST.