Behavioural conflicts in a causal specification

DOI10.1023/A:1008730221445zbMath1034.68645OpenAlexW1604287348MaRDI QIDQ1857266

Andrew Vickers, Jonathan Moffett

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008730221445

zbMATH Keywords

inconsistenciesbehavioural conflictscausal specification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: Behavioural conflicts in a causal specification