diplomski rad
Aksiomatska semantika IMP-a

Damira Žmire (2017)
Sveučilište u Splitu
Prirodoslovno-matematički fakultet
Odjel za matematiku