1. 1
    An Overview of the K Framework ☶ pdf slides formalmethods fsl.cs.illinois.edu
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments

An overview of K Framework used in the executable semantics of C language among others.

  1.