Ivannikov Institute for System Programming of the RAS


Formal Methods in Industrial Software Standards Enforcement.

Authors

A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov.

Edition

Proc. of PSI'2006, Novosibirsk, Russia, June 2006.

Research Group

Software Engineering

All publications during 2006 All publications