Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods

@inproceedings{Bjorner-Druffel:ICSE90,
  author    = {Dines Bj{\o}rner and
               Larry E. Druffel},
  title     = {Position Statement: {ICSE-12} Workshop on Industrial Experience Using Formal Methods},
  booktitle = {ICSE},
  pages     = {264--266},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}