Publication

Number of items: 1.
26 November 2008
  • A framework for proving correctness of adjoint message-passing programs. (2008) Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme and Jean Utke
    • This list was generated on Tue Jun 9 02:49:20 2026 BST.