Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige
    Your location:

    Academic publications

    BCS offers a range of academic print publications, from conference proceedings to distinguished dissertation theses.

    Visit the BCS bookshop for more information

    Formal verification of machine-code programs CAT 2010: Ideas before their time Logics and analyses for concurrent heap-manipulating programs