Formal Models and Verification of Properties of Programs Using Object-Oriented Languages


Formal Models and Verification of Properties of Programs Using Object-Oriented Languages

Maksim Krivchikov (Mechanics and Mathematics Faculty and Research Institute of Mechanics, Lomonosov Moscow State University). Starts at December 24, 2014.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS