Petra

Petra

A new way to code reliably

30 followers

Visit website
Petra enables scalable formal software verification (object-oriented) through training and professional developer tools.

Petra Reviews

Reviews
Most Informative