Proiectul de cercetare „An Interactive Proof Mode for Dafny”, coordonat de conf. univ. dr. Ștefan CIOBÂCĂ, de la Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași (UAIC), a obținut finanțare din partea companiei Amazon, prin programul Amazon Research Awards. În cadrul proiectului, echipa de lucru va extinde limbajul de programare Dafny (https://dafny.org/), care […]
Proiect de cercetare al UAIC, finanțat în cadrul programului Amazon Research Awards
