BibTex format
@inproceedings{van:2009,
author = {van, Bakel S and Rowe, R},
title = {Semantic Predicate Types and Approximation for Class-based Object Oriented Programming},
year = {2009}
}
Faculty of Engineering, Department of Computing
Senior Lecturer425Huxley BuildingSouth Kensington Campus