Yazar
Parisi-Presicce, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to
View Other Search Results
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model
View Other Search Results