DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8263s.van.bakel Website

Location

425Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{van:2011,
author = {van, Bakel S and Rowe, R},
pages = {229--244},
publisher = {Springer-Verlag},
title = {Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming},
year = {2011}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - van,Bakel S
AU  - Rowe,R
EP  - 244
PB  - Springer-Verlag
PY  - 2011///
SP  - 229
TI  - Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
ER  -

Download