BibTeX record conf/icse/HarelLNPPSS88

• > Home > conf/icse/HarelLNPPSS88

@inproceedings{DBLP:conf/icse/HarelLNPPSS88,
  author       = {David Harel and
                  Hagi Lachover and
                  Amnon Naamad and
                  Amir Pnueli and
                  Michal Politi and
                  Rivi Sherman and
                  Aharon Shtull{-}Trauring},
  editor       = {Tan Chin Nam and
                  Larry E. Druffel and
                  Bertrand Meyer},
  title        = {STATEMATE; {A} Working Environment for the Development of Complex
                  Reactive Systems},
  booktitle    = {Proceedings, 10th International Conference on Software Engineering,
                  Singapore, Singapore, April 11-15, 1988},
  pages        = {396--406},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {http://dl.acm.org/citation.cfm?id=55861},
  timestamp    = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HarelLNPPSS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}