UniTESK на «Agile Formal Methods»
19.11.2003 г.
20 ноября в Тессалониках (Греция) пройдет 1-я Европейская конференция по формальным методам «Agile Formal Methods: Practical, Rigorous Methods for a changing world». На конференции будет представлен доклад «Обучение инструментам тестирования сложных программных систем».
 
Вернуться
Copyright © 2014 Институт системного программирования Российской академии наук