Ivannikov Institute for System Programming of the RAS


Operating systems verification.

Authors

V.P.Ivannikov, A.K.Petrenko.

Edition

French-Rissuan seminar on Software Verification, Testing, and Quality Estimation, Paris, 24-25 November, 2014.

Research Group

Software Engineering

All publications during 2013 All publications