Logical
Intelligence
Name
Email
Company
Title
How can we help?
I'm interested in:
Formal Verification
Kona EBRM
Aleph Prover
GET IN TOUCH
©