BibTeX record conf/scs/BateHM03

download as .bib file

@inproceedings{DBLP:conf/scs/BateHM03,
  author       = {Iain Bate and
                  Richard Hawkins and
                  John A. McDermid},
  editor       = {Peter A. Lindsay and
                  Anthony Cant},
  title        = {A Contract-based Approach to Designing Safe Systems},
  booktitle    = {Safety Critical Systems and Software 2003, Eigth Australian Workshop
                  on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT,
                  Australia, 9-10 October 2003},
  series       = {{CRPIT}},
  volume       = {33},
  pages        = {25--36},
  publisher    = {Australian Computer Society},
  year         = {2003},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Bate.html},
  timestamp    = {Mon, 30 Jan 2023 11:25:04 +0100},
  biburl       = {https://dblp.org/rec/conf/scs/BateHM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics