-
Recent Posts
Archives
Meta
Monthly Archives: July 2015
Tutorial on Runtime Verification at FM 2015
On June 23rd, Prof. Martin Leucker and Daniel Thoma gave a full-day tutorial on the Theory and Practice of Runtime Verification at the Formal Methods conference in Oslo, Norway.
Posted in Events
Comments Off on Tutorial on Runtime Verification at FM 2015