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

Dmitrij Szamozvancev

  1. Adjoint Reactive GUI
    2020/10/23 by Christian Uldal Graulund, Graulund, Christian Uldal, Dmitrij Szamozvancev +3 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)