I am a PhD candidate in the Software Modelling and Applied Logic (SMAL) group at KCL, under the supervision of Dr. Steffen Zschaler.
© 2017. All rights reserved.
This is a list of links for my own reference: