Can Model Checking Scale to Software? (Panel)

@inproceedings{Redmiles:ASE99,
  author    = {David F. Redmiles},
  title     = {Can Model Checking Scale to Software? {(Panel)}},
  booktitle = {ASE},
  pages     = {2},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
}