×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10802, 169-188 (2018).
BibTeX Cite
Full Text: DOI
WorldCat.org
Cimatti, Alessandro (ed.) et al., Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10469, 54-69 (2017).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software