Last Mile’s Resources

DOI10.1007/978-3-319-27810-0_2zbMath1474.68044OpenAlexW2296059446MaRDI QIDQ2796215

Letterio Galletta, Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari

Publication date: 23 March 2016

Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11568/766697

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Last Mile’s Resources