Announcement_10
Our proposal for a Dagstuhl seminar on “Testing Program Analyzers and Verifiers”, co-organized with Maria Christakis, Alastair Donaldson, and John Regehr has been accepted.
Our proposal for a Dagstuhl seminar on “Testing Program Analyzers and Verifiers”, co-organized with Maria Christakis, Alastair Donaldson, and John Regehr has been accepted.