C. Kühnel

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova
Towards verified automotive software. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)