Tobias Nipkow and Andrei Popescu

Making security type systems less ad hoc

De Gruyter Oldenbourg | Published online: November 30, 2014