@inproceedings{722941,
  title = "Using B to Specify, Verify and Design Hardware Circuits",
  author = "S{\o}rensen, Ib",
  year = "1998",
  address = "London, UK, UK",
  booktitle = "ZUM '98: Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation",
  isbn = "3-540-65070-9",
  pages = "60--65",
  publisher = "Springer-Verlag",
}