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

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
BCS is a registered charity: No 292786
×

Cookies

Our website uses cookies to help improve your experience. You can find out more about the use of cookies by reading our cookies policy.