4 citations · 4 across the 1 of their papers we have counts for
1 paper
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and…