Travelled to:1 × USA
Collaborated with:J.A.Turner
Talks about:abstract (1) generat (1) verif (1) ada (1)
Person: Thomas L. Hill
DBLP: Hill:Thomas_L=
Contributed to:
1993Wrote 1 papers:
- TRI-Ada-1993-TurnerH #abstraction #ada #generative #verification
- Ada Abstraction, Generation, Verification (JAT, TLH), pp. 323–329.