Workshop on deductive programs verification.


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