Search results for: Grigore Roşu
Automated Software Engineering > 2019 > 26 > 4 > 795-837
Formal Methods in System Design > 2018 > 53 > 1 > 138-163
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 433-442
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametric Analysis > 246-261
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Rewriting Logic > 107-121
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 372-378
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 135-151
Lecture Notes in Computer Science > Computer Aided Verification > Session VII: Concurrent Program Verification > 240-253
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Part 2. Contributed Research Papers > 142-162
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 332-345
Lecture Notes in Computer Science > Runtime Verification > Tutorials > 136-152
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 187-205
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 260-275
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 290-307