Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1488| Title: | Proving code equivalence in database-driven applications and SPARQL queries | Authors: | Vujošević Janičić, Milena | Affiliations: | Informatics and Computer Science | Issue Date: | 2022 | Rank: | M33 | Related Publication(s): | Workshop: Women in EuroProofNet | Conference: | Women in EuroProofNet(2022 ; Nantes), part of TYPES2022 | URI: | https://research.matf.bg.ac.rs/handle/123456789/1488 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.