1. 1

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

  1.