Зиборов К. В. Формальная семантика и верификация ПО Семинар 4. Логика высшего порядка Isabelle, HOL
Send Abuse
Views: 1
0
0
|
Categories
|
Categories
|