BibTex format
@inproceedings{Filaretti:2014,
author = {Filaretti, D and Maffeis, S},
pages = {120--145},
title = {An Executable Formal Semantics of PHP},
year = {2014}
}
Faculty of Engineering, Department of Computing
Senior Lecturer441Huxley BuildingSouth Kensington Campus