Advanced Search  

An Introduction to Separation Logic (Preliminary Draft)  
Summary: An Introduction to Separation Logic 

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

Collections: Computer Technologies and Information Sciences; Mathematics 