Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1680| Title: | First steps towards proving functional equivalence of embedded SQL | Authors: | Spasić, Mirko Vujošević Janičić, Milena |
Affiliations: | Informatics and Computer Science Informatics and Computer Science |
Issue Date: | 2018 | Rank: | M34 | Publisher: | Braga : Centro de Matematica, University of Minho | Related Publication(s): | 24th International Conference on Types for Proofs and Programs TYPES 2018 : Book of abstracts | Conference: | International Conference on Types for Proofs and Programs TYPES 2018(24 ; 2018 ; Braga) | URI: | https://research.matf.bg.ac.rs/handle/123456789/1680 |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.