anthony@cs.uq.oz.au (Anthony Lee) (06/16/91)
Could someone please point out to me some introduction papers and recent work on using reverse engineering to derive a formal specification of existing systems ? -- Anthony Lee (Michaelangelo teenage mutant ninja turtle) (Time Lord Doctor) email: anthony@cs.uq.oz.au TEL:+(61)-7-365-2697 (w) SNAIL: Dept Comp. Science, University of Qld, St Lucia, Qld 4072, Australia