Work

Program refinement by transformation

Year: 1981
Type: conference-paper
Authors: Thomas E. Cheatham, Glenn Holloway, Judy A. Townley
Language: English
Open Access status: closed
OpenAlex ID: W2009906188
FWCI: 7.314
Cites: 22
Cited by: 43
Related to: 10