Fundamental Approaches to Software Engineering

DOI10.1007/b95935zbMath1129.68448OpenAlexW2494184210WikidataQ59393629 ScholiaQ59393629MaRDI QIDQ5428893

Peter Saffrey, Muffy Calder

Publication date: 28 November 2007

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Automatic symmetry detection for Promela

Uses Software

• SPIN
• vUML

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