Home » user account

Teme

Personal information


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

History


18 years 2 weeks