×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 319-336 (2013).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 179-193 (2012).
MSC:  68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification
Software