FM Symposium | Session 8B: Analysis Techniques 1

Описание к видео FM Symposium | Session 8B: Analysis Techniques 1

Chair: Elvira Albert
Speakers: Dominic Steinhöfel and Reiner Hähnle
Title: Abstract Execution

Комментарии

Информация по комментариям в разработке