Ivannikov Institute for System Programming of the RAS


Theory of Conformity (functional testing of program systems based on formal models).

Authors

Burdonov, Igor.

Edition

LAP Lambert Academic Publishing, 2011.

Research Group

Software Engineering

All publications during 2011 All publications