K overview

Go to Youtube mirror, if the above does not work.

Go back to http://k-framework.com for further links, the K tool and contact information.

The slides presented above: PPTX | PDF