zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 65-80 (2013).
MSC:  68N30 68Q45
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type