Nexus
Home
Science
Politics
Technology
Space
News
Health
Home
Unlabelled
“Test-Only Development” with the Z3 Theorem Prover
“Test-Only Development” with the Z3 Theorem Prover
By
0x000216
Thursday, July 10, 2014
Read
Add Comment
Comments
from Hacker News http://bit.ly/VNH4qt
“Test-Only Development” with the Z3 Theorem Prover
Reviewed by
0x000216
on
Thursday, July 10, 2014
Rating:
5
Recent Posts
Facebook