Program refinement by transformation
Year: 1981
Type: conference-paper
Authors: Thomas E. Cheatham, Glenn Holloway, Judy A. Townley
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2009906188
