Education · Ph.D. Computing, National University of Singapore, 2014 · B.Sc. Computer Science & Engineering, Vietnam National University - Ho Chi Minh University ...
University College London - Cited by 710 - Programming Languages - Software Engineering
Lecturer in Programming Principles, Logic, and Verification, University College London, Dept of Computer Science
Nov 22, 2024 · Experience: University College London · Education: National University of Singapore · Location: Middlesbrough · 428 connections on LinkedIn.
Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin: S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.
Quang Loc Le. University College London. 確認したメール アドレス: ucl.ac.uk - ホームページ · Programming LanguagesSoftware Engineering. 論文引用先 ...
View the University College London profile of Quang Loc Le. Including their publications, professional activities and teaching activities.
Publications. Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li, Quang Loc Le, Yahui Song, and Wei-Ngan Chin.
Quang Loc LE, Lecturer | Cited by 458 | of University College London, London (UCL) | Read 40 publications | Contact Quang Loc LE.
Registered user since Sun 11 Mar 2018. Name:Quang Loc Le. Country:United Kingdom. Affiliation:University College London.