Safety via State Transition Language Plus Invariants

Leo Marcus, Telis Menas. Safety via State Transition Language Plus Invariants. In CSFW. pages 71-77, 1989.

Abstract

Abstract is missing.