Daniel Tang, Ales Plsek, Jan Vitek. Static checking of safety critical Java annotations. In Tomás Kalibera, Jan Vitek, editors, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. ACM International Conference Proceeding Series, pages 148-154, ACM, 2010. [doi]
Abstract is missing.