2 ms·
It also left out Alloy, which is another really exciting formal method that a lot of really cool work has been done in.
by hwayne 9y ago
It also left out Alloy, which is another really exciting formal method that a lot of really cool work has been done in.