A Structure for Dependability Arguments. Jackson, D. & Kang, E. In Proceedings of Workshops on Abstract State Machines (ASM), pages 1, 2010.
A Structure for Dependability Arguments [link]Paper  bibtex   
@inproceedings{ dblp2546097,
  title = {A Structure for Dependability Arguments},
  author = {Daniel Jackson and Eunsuk Kang},
  author_short = {Jackson, D. and Kang, E.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2546097},
  id = {dblp2546097},
  biburl = {http://www.dblp.org/rec/bibtex/conf/asm/JacksonK10},
  url = {http://dx.doi.org/10.1007/978-3-642-11811-1_1},
  conference = {ASM},
  pages = {1},
  text = {ASM 2010:1},
  booktitle = {Proceedings of Workshops on Abstract State Machines (ASM)}
}

Downloads: 0