ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
29 марта
309999 Топик полностью
ыыыы (24.02.2012 17:05, просмотров: 1) ответил Evgeny_CD на Process Specification Language (PSL) -> оно что ли?
не не этот, этот еще IBM sugar кличут https://www.research.ibm.com/haifa/projects/verification/sugar/