Teme

Personal information


Formal Methods, Process Algebra, Algebraic Specification, Testing based on Specification, Theorem Proving, Model Checking

History


9 years 47 weeks