Proiectul de cercetare „An Interactive Proof Mode for Dafny”, coordonat de conf. univ. dr. Ștefan CIOBÂCĂ, de la Facultatea de Informatică a...
