Search results for: Fabio Fioravanti
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 205--244
IFIP — The International Federation for Information Processing > Certification and Security in Inter-Organizational E-Service > 5-18
Lecture Notes in Computer Science > Electronic Government > Technology > 291-299
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 160-181
Lecture Notes in Computer Science > Program Development in Computational Logic > Transformation and Specialisation > 291-339
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 763-763
Advances in Intelligent and Soft Computing > Monitoring, Security, and Rescue Techniques in Multiagent Systems > Foundations and Methods > 99-116
IFIP — The International Federation for Information Processing > Digital Communities in a Networked Society > Advanced Platforms and Grid Computing > 267-278
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Specialisation > 125-146
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Verificaion > 111-128
IFIP — The International Federation for Information Processing > Digital Communities in a Networked Society > Advanced Platforms and Grid Computing > 267-278