Personal Information
Unternehmen/Arbeitsplatz
Chennai, TamilNadu India
Tags
spec
automated theorem proving
design by contract
program verification
propositional calculus
category theory
net
program verification
Mehr anzeigen