612 followers
Interesting application of MDE to develop code for automatic cutters #icmt14 #icgt14 #staf14 http://t.co/43W4LqLuwy http://t.co/YWMsr8PC3V
Interesting application of MDE to develop code for automatic cutters #icmt14 #icgt14 #staf14 http://t.co/43W4LqLuwy http://t.co/YWMsr8PC3V
Very interesting talk at #icmt14 / #icgt14 on transformation verification: http://t.co/lsimADCPBR #staf14
Verifying Monadic Second-Order Properties of Graph Programs. (arXiv:1405.5927v1 [cs.LO]) http://t.co/UvgeBDoWFL