OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
| Title | OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods |
| Publication Type | Conference Paper |
| Year of Publication | 1997 |
| Authors | Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J |
| Editor | Olivé, A, Pastor O |
| Date Published | 6 |
| Publisher | Springer Verlag |
| Export |
Files:
