Travelled to:1 × Germany
1 × USA
Collaborated with:T.E.C.Jr. G.H.Holloway
Talks about:program (2) refin (2) transsform (1) system (1)
Person: Judy A. Townley
DBLP: Townley:Judy_A=
Contributed to:
19811979Wrote 2 papers:
- ICSE-1981-CheathamHT #refinement
- Program Refinement by Transsformation (TECJ, GHH, JAT), pp. 430–438.
- ICSE-1979-CheathamTH #refinement
- A System for Program Refinement (TECJ, JAT, GHH), pp. 53–62.