DrSergioMaffeis

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8390sergio.maffeis Website

Location

441Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Filaretti:2014,
author = {Filaretti, D and Maffeis, S},
pages = {120--145},
title = {An Executable Formal Semantics of PHP},
year = {2014}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Filaretti,D
AU  - Maffeis,S
EP  - 145
PY  - 2014///
SP  - 120
TI  - An Executable Formal Semantics of PHP
ER  -

Download