Rigorous methods for software construction and analysis. Essays dedicated to Egon Börger on the occasion of his 60th birthday

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

Mathematics Subject Classification ID

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)

Decomposing Cavities in Digital Volumes into Products of Cycles

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