Публикации по формальным методам

Формальные аспекты вычислительной техники Обзор журнала Formal Aspects of Computing Журнал FAC является рецензируемым изданием, публикуемым ACM и BCS.  Он […]