Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

Установите приложение

Это займёт 10 секунд:

1. Нажмите «Поделиться» (квадрат со стрелкой)
2. Пролистайте вниз и нажмите «На экран «Домой»
3. Нажмите «Добавить»