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

Lang, Timo

  1. Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
    2024/01/29 by Galmiche, Didier, Lang, Timo, Pym, David · 2 citations
    #68Q60 #F.3.0 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)