Ivannikov Institute for System Programming of the RAS


Certification of open-source software: A role for formal methods?

Authors

A.K.Petrenko.

Edition

// International Journal of Computer Systems Science and Engineering (IJCSSE), 2009.

Research Group

Software Engineering

All publications during 2009 All publications