OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods.

Oscar Pastor, Emilio Insfrn, Vicente Pelechano, Jos Ral Romero, Jos Merseguer

Browse the full CaiSE paper archive.