Specifying subtypes in SCJ programs

Ghaith Haddad, Gary T. Leavens. Specifying subtypes in SCJ programs. In Andy J. Wellings, Anders P. Ravn, editors, The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011. pages 40-46, ACM, 2011. [doi]


Abstract is missing.