BibTeX record conf/adaEurope/FoulgerK01

• > Home > conf/adaEurope/FoulgerK01

@inproceedings{DBLP:conf/adaEurope/FoulgerK01,
  author       = {Darren Foulger and
                  Steve King},
  editor       = {Dirk Craeynest and
                  Alfred Strohmeier},
  title        = {Using the {SPARK} Toolset for Showing the Absence of Run-Time Errors
                  in Safety-Critical Software},
  booktitle    = {Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International
                  Conference Leuven, Belgium, May 14-18, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2043},
  pages        = {229--240},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45136-6\_18},
  doi          = {10.1007/3-540-45136-6\_18},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/FoulgerK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}