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
Course taught within Master Program of the Faculty of Computer Science, Alexandru Ioan Cuza University of Iasi
The course is included in FME Education Course Database, maintained by the Formal Methods Teaching Committee.