BibTeX record conf/apsec/Smith94

download as .bib file

@inproceedings{DBLP:conf/apsec/Smith94,
  author       = {Graeme Smith},
  title        = {Formal definitions of behavioural compatibility for active and passive
                  objects},
  booktitle    = {First Asia-Pacific Software Engineering Conference, {APSEC} 1994,
                  Tokyo, Japan, December 7-9, 1994},
  pages        = {336--344},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/APSEC.1994.465246},
  doi          = {10.1109/APSEC.1994.465246},
  timestamp    = {Tue, 06 Aug 2024 17:20:55 +0200},
  biburl       = {https://dblp.org/rec/conf/apsec/Smith94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}