vix.ing · top · new · best · stats · spec

Georgiou, Pamina

  1. Verifying Relational Properties using Trace Logic
    2019/06/24 by Barthe, Gilles, Eilers, Renate, Georgiou, Pamina +3 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)