Search results for: Andrea Giovanardi
Medical & Biological Engineering & Computing > 2008 > 46 > 2 > 169-178
Journal of Automated Reasoning > 2002 > 28 > 2 > 101-142
Medical & Biological Engineering & Computing > 2008 > 46 > 2 > 169-178
Journal of Automated Reasoning > 2002 > 28 > 2 > 101-142