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

TitleOO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
Publication TypeConference Paper
Year of Publication1997
AuthorsPastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J
EditorOlivé, A, Pastor O
Date Published6
PublisherSpringer Verlag
Export
Files: