Software Abstractions: Logic, Language, and Analysis
2011·divulgacion
Este libro presenta un enfoque de diseño de software que se basa en métodos formales ligeros y herramientas automatizadas para encontrar fallos tempranos, utilizando el lenguaje Alloy, creado por el autor.

