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


Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications.

Авторы

A. Kamkin.

Издание

EWDTS 2008, pp. 84-87.

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

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

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