Reasoning about client-side web programs: invited talk
File(s)Gardner2010Reasoning.pdf (81.33 KB)
Accepted version
Author(s)
Gardner, P
Type
Conference Paper
Date Issued
2010-03-22
Online Publication Date
2010-03-22
2016-06-01T08:43:15Z
Date Acceptance
2010-03-22
ISBN
978-1-60558-990-9
Publisher
Association for Computing Machinery
Journal / Book Title
Proceedings of the 2010 EDBT/ICDT Workshops
Copyright Statement
© ACM 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2010 EDBT/ICDT Workshops, http://dx.doi.org/10.1145/1754239.1754261
Source Database
dblp
Source
2010 EDBT/ICDT Workshops (EDBT '10)
Publication Status
Published
Start Date
2010-03-22
Finish Date
2010-03-26
Country
Lausanne, Switzerland