Elke Pulvermueller. Reducing the Gap between Verification Models and Software Development Models. In Hamido Fujita, VladimÃr MarÃk, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Volume 199 of Frontiers in Artificial Intelligence and Applications, pages 297-313, IOS Press, 2009. [doi]
Abstract is missing.