Document Preview

Automating and evaluating assume -guarantee reasoning

Cobleigh, Jamieson M.   University of Massachusetts Amherst ProQuest Dissertations Publishing,  2007. 3254895.