locsec/notes
1
Форкнуть 0
зеркало из https://github.com/iharh/notes.git synced 2025-10-29 12:46:06 +02:00
Код Задачи Пакеты Проекты Релизы Вики Активность
notes/science/model-checking/books.txt
Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

5 строки
65 B
Plaintext
Исходник Постоянная ссылка Ответственный История

http://is.ifmo.ru/verification/
2010
Karpov - Model Checking ru
Ссылка в новой задаче Показать git blame Копировать постоянную ссылку