Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Romero, José Merseguer. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. In Antoni Olivé, Joan Antoni Pastor, editors, Advanced Information Systems Engineering, 9th International Conference CAiSE 97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings. Volume 1250 of Lecture Notes in Computer Science, pages 145-158, Springer, 1997.
Abstract is missing.