Sunday, August 16, 2020

Formal methods of software validation explore corners

https://www.johndcook.com/blog/2016/07/11/formal-methods-let-you-explore-the-corners/


_- Steve

No comments: