Teme | Lambda the Ultimate

Teme

view
track

Personal information

Interests:

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

History

Member for:
18 years 42 weeks