Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"Trace Analysis"
Trace Comprehension Operators for Executable DSLs
Dorian Leroy
,
Erwan Bousse
,
Anaël Megna
,
Benoit Combemale
,
Manuel Wimmer
PDF
Cite
DOI
Cite
×