tool algebraic
RSS tool algebraicSort by: Relevance | Date
Developing and Debugging Algebraic Specifications for Java Classes
White Paper To address the practical difficulties with formal specifications, this paper describes and evaluates a tool to help programmers write and debug algebraic specifications. Given an... [01 Feb 2009]
