Skip to content

Testing an Intentional Naming Scheme Using Genetic Algorithms.

Sarfraz Khurshid

VenueATACAS
Year2001
ProceedingsTACAS

Browse the full TACAS paper archive.