DocumentCode
3654775
Title
Title Page iii
fYear
2015
fDate
7/1/2015 12:00:00 AM
Abstract
Presents the title page of the proceedings record.
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.2
Filename
7174856
Link To Document