Skip to content

A deidealisation semantics for KAOS.

Richard Banach

Year2010
ProceedingsSAC

Browse the full SAC paper archive.