Radu Calinescu

Software Engineering and Formal Methods

٢٠٢١

Software Engineering for Resilient Systems

٢٠١٩

Software Engineering and Formal Methods

٢٠١٦

Software Engineering and Formal Methods

٢٠١٥

Foundations of Computer Software

٢٠١١