×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Calinescu, Radu (ed.) et al., Software engineering and formal methods. 13th international conference, SEFM 2015, York, UK, September 7–11, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22968-3/pbk; 978-3-319-22969-0/ebook). Lecture Notes in Computer Science 9276, 3-19 (2015).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 213-224 (2008).
MSC:  68N18 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 359-371 (2006).
MSC:  68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 213-223 (2003).
MSC:  68N19 68N30
PDF BibTeX XML Cite
Full Text: DOI