Rigorous methods for software construction and analysis. Essays dedicated to Egon Börger on the occasion of his 60th birthday
From MaRDI portal
Publication:1048358
DOI10.1007/978-3-642-11447-2zbMath1180.68002OpenAlexW2485190833MaRDI QIDQ1048358
No author found.
Publication date: 12 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11447-2
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Rigorous methods for software construction and analysis. Essays dedicated to Egon Börger on the occasion of his 60th birthday
