Fulltext present in this item

Thumbnail
Fulltext: 161285.pdf
Format: PDF
Description: preprint version
Title: Healthiness from Duality
Author(s): Hino, W.; Kobayashi, H.; Hasuo, I. ; Jacobs, B.
Publication year: 2016
In: Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 682-691
Publisher: New York : ACM
ISBN: 9781450343916
DOI: https://doi.org/10.1145/2933575.2935319
Annotation: LICS '16 : 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA — July 05 - 08, 2016
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/161285   https://hdl.handle.net/2066/161285

Display more details
Editor(s): Koskinen, E.
Subject: Digital Security
Organization: Digital Security
Security of Systems
Book title: Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Page start: p. 682
Page end: p. 691

This item appears in the following Collection(s)

Browse

Statistics