User:Pandya58

My name is Paritosh Pandya. I am at the Tata Institute of Fundamental Research, Mumbai, India. Iam a computer scientist interested in formal methods and Duration Calculus.