All journals

Journal subject collections

software

  • 4 September 2017
    Andrew W. Appel, Lennart Beringer, Adam Chlipala, Benjamin C. Pierce, Zhong Shao, Stephanie Weirich, Steve Zdancewic
  • 4 September 2017
    Philippa Gardner
  • 4 September 2017
    Mark Batty
  • 4 September 2017
    Gerwin Klein, June Andronick, Gabriele Keller, Daniel Matichuk, Toby Murray, Liam O'Connor
  • Open Access
    4 September 2017
    Cristina David, Daniel Kroening
  • 4 September 2017
    Neil White, Stuart Matthews, Roderick Chapman
  • Open Access
    4 September 2017
    Kathleen Fisher, John Launchbury, Raymond Richards
  • 4 September 2017
    Warren A. Hunt, Matt Kaufmann, J Strother Moore, Anna Slobodova
  • Open Access
    21 December 2016
    B. Enders, P. Thibault
  • 14 November 2016
    Rob Kitchin

Pages