Ivannikov Institute for System Programming of the RAS


Search of Race Conditions Using Static Analysis Methods

Pavel Andrianov. Starts at February 12, 2014.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS