Niusha Hakimipour, Paul A. Strooper, Roger Duke. Exploring Model-Based Development for the Verification of Real-Time Java Code. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.