Programming Devices and Services with P – Lecture 1

  • Shaz Qadeer | Microsoft Research