Automated Verification of Reactive and Concurrent Programs by Calculation

Simon Foster, <ins>Kangfeng Ye</ins>, Ana Cavalcanti, Jim Woodcock
July, 2020
PDF
Type
Journal article
Publication
CoRR