Fundamental Approaches to Software Engineering
From MaRDI portal
Publication:5428881
DOI10.1007/b95935zbMath1129.68418DBLPconf/fase/2004OpenAlexW2494184210WikidataQ59393629 ScholiaQ59393629MaRDI QIDQ5428881
Christoph Sprenger, Marieke Huisman, Dilian Gurov, Gennady Chugunov
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
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Reducing behavioural to structural properties of programs with procedures ⋮ Compositional verification of sequential programs with procedures ⋮ CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties
Uses Software
This page was built for publication: Fundamental Approaches to Software Engineering
