FORMULA – Modeling Foundations

成立时间：December 10, 2008

工具

FORMULA

2011年8月

FORMULA (Formal Modeling Using Logic Pro…

人员

Ethan Jackson

Senior Director

Nikolaj Bjørner

Partner Researcher

Laurent Bussard

Senior Software Engineer