software & systems modeling (12)
software and systems modeling (9)
procedia computer science (7)
2019 acm/ieee 22nd international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2019 acm/ieee 22nd international conference on, models-c (6)
formal aspects of computing (6)
journal of logical and algebraic methods in programming (5)
journal of logic and algebraic programming (4)
norsk informatikkonferanse (3)
proceedings of the estonian academy of sciences (3)
computer standards & interfaces (2)
formal aspects of computing: applicable formal methods (2)
graph transformation (2)
internet of things (2)
journal of logic & algebraic programming (2)
the journal of logic and algebraic programming (2)
2012 sixth international symposium on theoretical aspects of software engineering (1)
2012 sixth international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2012 sixth international symposium on (1)
2019 45th euromicro conference on software engineering and advanced applications (seaa), software engineering and advanced applications (seaa), 2019 45th euromicro conference on, seaa (1)
2022 ieee international conference on software maintenance and evolution (icsme), software maintenance and evolution (icsme), 2022 ieee international conference on, icsme (1)
acm international conference proceeding series (1)
applications of graph transformations with industrial relevance (9783642341755) (1)
computer & information science 2012 (1)
entcs: electronic notes in theoretical computer science (1)
enterprise modelling & information systems architectures (1)
foundations of health information engineering & systems (1)
fundamental approaches to software engineering (9783642005923) (1)
fundamental approaches to software engineering (9783642120282) (1)
proceedings of the 15th symposium principles & practice of declarative programming (1)
proceedings of the 2008 euro american conference: telematics & information systems (1)
transactions on petri nets and other models of concurrency xiv (1)
transactions on petri nets and other models of concurrency xv (1)