Search results for: Paolo Baldan
Acta Informatica > 2019 > 56 > 1 > 61-92
Theoretical Computer Science > 2018 > 706 > C > 54-82
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 254-270
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 145-164
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1110-1130
Lecture Notes in Computer Science > Algebraic Biology > 262-276
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Graph Transformation > 3-23
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Graph Transformation > 350-366
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 91-106
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 165-184