A Deductive System for (Hardware-Software) Contract Satisfaction Proofs

(arxiv.org)

1 points | by matt_d 7 hours ago ago