Oleg Mürk

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Oleg Mürk, Daniel Larsson, Reiner Hähnle
KeY-C: A Tool for Verification of C Programs. CADE (2007)
Oleg Mürk, Jevgeni Kabanov
Aranea: web framework construction and integration kit. PPPJ (2006)