Advanced Search  

Class Notes for CS 819A4 Spring 2003 3. Speci cations and Inference Rules  
Summary: 49 

Source: Andrews, Peter B.  Department of Mathematical Sciences, Carnegie Mellon University 

Collections: Mathematics 