Algebraic techniques in software development: a review of progress up to the mid nineties

• Authors:

• Hartmut Ehrig;Bernd Mahr

• Affiliations:

• -;-

• Venue:
• Current trends in theoretical computer science
• Year:
• 2001