DocumentCode

3654776

Title

Copyright Page

fYear

2015

fDate

7/1/2015 12:00:00 AM

Publisher

ieee

Conference_Titel

Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on

ISSN

1043-6871

Type

conf

DOI

10.1109/LICS.2015.3

Filename

7174857