Институт системного программирования им. В.П. Иванникова РАН


Towards an Open Framework for C Verification Tools Benchmarking.

Авторы

Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A.

Издание

In Proceedings of the Eighth International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.

Научная группа

Технологии программирования

Все публикации за 2011 год Все публикации