Model-based technology of software development in largePenjam, Jaan; Tõugu, Enn14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 149-163 : ill https://ceur-ws.org/Vol-1525/paper-11.pdf Conference proceedings at Scopus Article at Scopus

Two set-based implementations of quotients in type theoryVeltri, Niccolò14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 194-205 https://ceur-ws.org/Vol-1525/paper-14.pdf Conference proceedings at Scopus Article at Scopus