Specification and Formal Verification of Hardware–Software Contracts

3 points | by matt_d 16 hours ago