Semantics and Correctness of Programs

Course Details
Course ID	235038
Title	Semantics and Correctness of Programs
Type	Core Elective
Webpage
Description
Semester	Spring Semester
Credit Points	3
Teaching Hours	2
Tutorial Hours	2
Lab Hours
Professors