Peng WU

I was a research associate at the Department of Computer Science of UCL, working with Dr. Alessio R. Lomuscio on a BT-funded research project Verification of Networked Systems.


Redirecting to my new webpage soon...

Publications ( DBLP) - Software - Links


Journals

Conferences & Workshop Proceedings

Technical Reports

Theses


Software


Links