Automated Program Flaw Finding Using Simulated Annealing

Nigel Tracey, John A. Clark, Keith Mander

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages73-81
Publication statusPublished - 1998

Cite this