Ivannikov Institute for System Programming of the RAS


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

Authors

A. Kamkin.

Edition

EWDTS 2008, pp. 84-87.

Research Group

Software Engineering

All publications during 2008 All publications