Ivannikov Institute for System Programming of the RAS


Nonconforming traces elimination from specification.

Authors

Igor Burdonov, Alexander Kosachev.

Full text of the paper in pdf (in Russian)

Edition

Preprints of the Institute for System Programming of RAS, Preprint 23, 2011, pp. 1-219.

Research Group

Software Engineering

All publications during 2011 All publications