Search results for: Michele Bugliesi
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 110-126
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 215-229
Journal of Information Security and Applications > 2016 > 30 > C > 46-63
Lecture Notes in Computer Science > Perspectives of System Informatics > Concurrent and Reactive Systems > 294-306
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 71-84
Lecture Notes in Computer Science > Automata, Languages and Programming > Types and Categories > 969-983
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 205-223