×

zbMATH — the first resource for mathematics

Found 20 Documents (Results 1–20)

100
MathJax
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 420-447 (2017).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 176-201 (2016).
MSC:  68N30 03B70 68N19
PDF BibTeX XML Cite
Full Text: DOI
Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 172-216 (2014).
MSC:  68Q60 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 374-393 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 202-218 (2012).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 22-38 (2011).
MSC:  68Q60 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 138-152 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 27-40 (2008).
MSC:  68Q60 68N19 03B70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
Classification
all top 3
Software