Fundamental Approaches to Software Engineering

DOI10.1007/B107062zbMath1119.68345OpenAlexW2479217507MaRDI QIDQ5316433

Ulrik Larsen, Andrzej Wąsowski, Kim Guldstrand Larsen

Publication date: 13 September 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107062

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Fundamental Approaches to Software Engineering