Резултати
| Назив: | First steps towards proving functional equivalence of embedded SQL | Аутори: | Mirko Spasić   ; Vujošević Janičić, Milena M. |
Година: | 2018 | Публикација: | 24th International Conference on Types for Proofs and Programs, TYPES 2018. | Издавач: | Centro de Matematica, University of Minho, Portugal | Тип резултата: | Конференцијски рад | Колација: | str. 78-79 | URI: | https://enauka.gov.rs/handle/123456789/171394 | URL: | https://types2018.projj.eu/ | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.