Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures

DOI10.1007/978-3-642-39721-9zbMath1320.68021OpenAlexW2232272680MaRDI QIDQ495951

No author found.

Publication date: 16 September 2015

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-39721-9

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Manifest domains: analysis and description

This page was built for publication: Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures