researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2014
Filter by Tag
Filter by Author
Filter by Top terms
OR
AND
NOT
1
2011
8-12
applications
august
cheile
framework
grădiştei
international
k
proceedings
romania
second
workshop
K (kframework)
Editions
Publications
Viewing Publication 1 - 1 from 1
2014
Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011
Mark Hills 0001
, editor,
Volume 304 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2014.
[doi]
Sign in
or
sign up
to see more results.