Logics of Programs Workshop (1983 Carnegie Mellon University)

Books by Logics of Programs Workshop (1983 Carnegie Mellon University) on BookTides.