Ivannikov Institute for System Programming of the RAS


Analysis of Complex Data Structures with PEX.

Authors

Vadim Mutilin, Evgeniy Gerlits, Vladimir Fedotov.

Edition

SSSEV, 2011.

Research Group

Software Engineering

All publications during 2011 All publications