3 ms·
Sounds like a case where formal methods might be both appropriate and funding might actually be available for that.
by kj4ips 5y ago
Sounds like a case where formal methods might be both appropriate and funding might actually be available for that.