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