Search Results

1 - 1 of 1 results for "Hobor, Aquinas"

Program Logics for Certified Compilers
US$64.99

This tutorial for graduate students covers practical and theoretical aspects of separation logic...