Vikram Verma

1 talk by Vikram Verma

  • Designs for the L4 Contract Programming Language Based on Deontic Modal Logic