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

Imai, Keigo

  1. kmclib: Automated Inference and Verification of Session Types
    2021/11/23 by Imai, Keigo, Lange, Julien, Neykova, Rumyana · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)