Programming Analysis & Logic Programming

Unreliability in software is costly in time and money for all users, can cause expensive equipment failure and, on occasions, lead to fatalities. The research of Patricia M. Hill has been and continues to be in the investigation of new tools and techniques to improve software reliability.