Search results for: Eugen-Ioan Goriac
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 433-442
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 378-385
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification I > 220-236
Information Processing Letters > 2015 > 115 > 2 > 212-220
Journal of Logic and Algebraic Programming > 2014 > 83 > 1 > 64-80
Science of Computer Programming > 2013 > 78 > 9 > 1324-1345
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 121-138