Proving sufficient completeness of constructor-based algebraic specifications Chapter uri icon

authors

publication date

  • January 1, 2015