Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is V. Pelechano  [Clear All Filters]
1997
[PIPRM-97] Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J.  1997.  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
0 icon
PIPRM-97.pdf