Formal specification of system functions

Bernd Spanfelner, Christian Leuxner, Wassiou Sitou. Formal specification of system functions. In ICSE Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver, BC, Canada, May 17-18, 2009. pages 26-31, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.