Search results for: Viviana Bono
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 15--38
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 31-49
Lecture Notes in Computer Science > Theoretical Computer Science > Technical Contributions > 128-142
Lecture Notes in Computer Science > Global Computing. Programming Environments, Languages, Security, and Analysis of Systems > 57-87
Lecture Notes in Computer Science > Software Product Lines: Going Beyond > Formal Approaches > 77-91
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 451-464
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 465-477