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