Скачать презентацию Tool-supported Program Abstraction for Finite-state Verification Matthew Dwyer Скачать презентацию Tool-supported Program Abstraction for Finite-state Verification Matthew Dwyer

5c8b2be3d2db42196a462a7017726cbc.ppt

  • Количество слайдов: 24