Text size
  • Small
  • Medium
  • Large
Contrast
  • 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