Formalization of B in Isabelle/HOL. Chartier, P. In Proceedings of the Second B International Conference, volume 1393, of Lecture Notes in Computer Science, Montpellier, France, April, 1998. Springer-Verlag.
bibtex   
@inproceedings{Chartier98,
  author = {P. Chartier},
  title = {{Formalization of B in Isabelle/HOL}},
  booktitle = {{Proceedings of the Second B International Conference}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 1393,
  year = 1998,
  address = {{Montpellier, France}},
  month = {April}
}

Downloads: 0