Last Mile’s Resources
From MaRDI portal
Publication:2796215
DOI10.1007/978-3-319-27810-0_2zbMath1474.68044MaRDI QIDQ2796215
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)