Lê Quang LộcLecturer in Programming Principles, Logic, and Verification Group Department of Computer Science
University College London
  Office: Room 310, 66-72 Gower St, London, UK, WC1E 6EA
Email: loc.le at ucl.ac.uk
|
Last update: Mar-2020 |