"2" Result
Sort By:
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 projects using algebraic specifications have now been carried out, and their more wide…