Logic
(L)
Logic Programming
(LP)
Specification and Verification of Concurrent Systems
Semantics of Programming Languages
(SPL)
Methodics
(M)
Research (including Diploma works)
Last update: 6 April 2007
Designed by
Adrian Mironescu
