Algebraic specification and program development by stepwise refinement (Extended Abstract) (1999)

by Donald Sannella
Venue:9th international workshop, LOPSTR ’99
Citations:6 - 0 self