Johan Lewi Books
Algebraic Specifications in Software Engineering
By Ivo Horebeek
There is now general agreement that formal specifications are needed to obtain quality software in large projects. Algebraic specifications form a major category of formal specifications. Many proj...
Read More