Roberto Giacobazzi

1. A bottom-up polymorphic type inference in logic programming
   1992/12/01 by Roberto Barbuti, Roberto Giacobazzi · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Incompleteness of States w.r.t. Traces in Model Checking
   2004/04/23 by Roberto Giacobazzi, Giacobazzi, Roberto, Francesco Ranzato +1 · 1 citation
   Computer Science · #D.2.4 #F.3.1 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques #cs.LO