An Introduction to K Framework by Examples

Project(s): K

Grant(s): DAK

CWI BIB