In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
|Title||Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond|
|Publication Type||Conference Proceedings|
|Year of Publication||2012|
|Authors||Diskin, Z., and T. Maibaum|
|Conference Name||7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012)|
|Date Published||To appear|