Making Security Type Systems Less Ad Hoc
IT - Information Technology - Germany
doi 10.1515/itit-2014-1060
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 28, 2014
Authors
Publisher
Walter de Gruyter GmbH
Available in full text
January 28, 2014
Walter de Gruyter GmbH