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


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

Авторы

A.K.Petrenko.

Издание

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

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации