Oleg Mürk

According to our database, Oleg Mürk authored at least 2 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

KeY-C: A Tool for Verification of C Programs.

Oleg Mürk, Daniel Larsson, Reiner Hähnle

Proceedings of the Automated Deduction, 2007

2006

Aranea: web framework construction and integration kit.

Oleg Mürk, Jevgeni Kabanov

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006