Nadezhda Baklanova, Martin Strecker. Abstraction and Verification of Properties of a Real-Time Java. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Volume 347 of Communications in Computer and Information Science, pages 1-18, Springer, 2012. [doi]
Abstract is missing.