Browsen in EconStor gesamt nach Autor:innen Stojcevska, Biljana


Zeige Ergebnisse 1 bis 1 von 1
ErscheinungsjahrTitelAutor:innen
2021Models for software verification: Proving program correctnessSitnikovski, Boro; Goracinova-Ilieva, Lidija; Stojcevska, Biljana