From Computationally-proved Protocol Specifications to Implementations (bibtex)
by David Cadé, Bruno Blanchet
Reference:
From Computationally-proved Protocol Specifications to Implementations (David Cadé, Bruno Blanchet), In 7th International Conference on Availability, Reliability and Security (AReS 2012), IEEE, 2012.
Bibtex Entry:
@InProceedings{CadeBlanchetARES12,
  author = 	 {David Cad{\'e} and Bruno Blanchet},
  title = 	 {From Computationally-proved Protocol Specifications to Implementations},
  booktitle = {7th International Conference on Availability, Reliability and Security (AReS 2012)},
  pages = 	 {65--74},
  year = 	 {2012},
  address = 	 {Prague, Czech Republic},
  month = 	 aug,
  publisher = {IEEE},
  x-audience = {international},
  x-language = {EN},
  x-town = {Prague},
  x-country = {CZ},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/CadeBlanchetARES12.html},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/CadeBlanchetARES12.pdf}
}
Powered by bibtexbrowser