zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 19, 10 p. (2014).
MSC:  68Q45 03B70 03D05
BibTeX Cite
Full Text: DOI
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 400-415 (2012).
MSC:  68Q45
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication