Z specifications

A proposal has not yet been provided

Add My Skype id--subhadas2010 please add more discuss hire me----https://www.freelancer.com/u/techlabnoll.html Dear Sir, We would love to get this opportunity of working with you. We can guarantee that you will not regret your decision if you select us to execute this project.

Hello, I have undergraduate studies in computing, have experience in formal specifications using z. Send me a private message.

I have experince in formal methods, algebraic specifications, Hoare triples. Can see some models in Alloy. Send me a private message to give more details.