Normal view
MARC view
Logic design Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): ICMT (Conference) (10th : 2017 : Marburg, Germany) 61303, Theory and Practice of Model Transformation :