Formal Methods in Software Engineering

An Introduction to K Framework by Examples

Year2011
TypeTalk
StatusPublished
AuthorsDorel Lucanu

Links

Abstract

An Introduction to K Framework by Examples

BibTeX

@Talk{cwi2011march, author = {D. Lucanu}, title = {An Introduction to K Framework by Examples }, institution = {Centrum Wiskunde & Informatica (CWI)}, year = {2011}, month = {March}, url = {http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=271 [CWI]} }