Ivannikov Institute for System Programming of the RAS

Open Source Certification and Educational Process.


A. Khoroshilov.

Full text of the paper in pdf


Open Source Software, Software Engineering Education, Verification.


York, United Kingdom, In Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2009), 28 March 2009, pp. 28-35.

Research Group

Software Engineering

All publications during 2009 All publications