Supporting case analysis with algebraic specification languages (2004)

Cached

Download Links

by Takahiro Seino
Venue:In 4th CIT
Citations:1 - 1 self