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

Ioana Leuştean

  1. Operational semantics and program verification using many-sorted hybrid\n modal logic
    2019/05/13 by Ioana Leuştean, Leustean, Ioana, Natalia Moangă +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Engineering Research