Spyros Komninos

Personal information


algebraic specification, formal security

History


15 years 45 weeks