tr-announce April 2008

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 1 discussions

2008-06: A Framework for Proving Correctness of Adjoint Message Passing Programs
by Peter Schneider-Kamp
16 years, 1 month
Results per page: