Ivannikov Institute for System Programming of the RAS


Workshop on deductive programs verification.

Authors

Workshop on deductive programs verification.

Edition

MAKS Press, Moscow, 2014.

Research Group

Software Engineering

All publications during 2014 All publications