Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
Сохранить в:
| Опубликовано в:: | arXiv.org (Jun 29, 2024), p. n/a |
|---|---|
| Главный автор: | |
| Опубликовано: |
Cornell University Library, arXiv.org
|
| Предметы: | |
| Online-ссылка: | Citation/Abstract Full text outside of ProQuest |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|