Metode formale in ingineria software / Formal Methods in Software Engineering

Course taught within Master Program of the Faculty of Computer Science, Alexandru Ioan Cuza University of Iasi