|
| Final Report of the COST-247 Action |
FORMAL DESCRIPTION ON THE TEST DOCUMENT HIERARCHY
Ana Maria Ponce (1), Geza Nemeth (2), Janos Miskolczi (2), Katalin Tarnay (2)
| (1) International Potato Center |
| Lima |
| Peru |
| ~ |
| (2) KFKI-MSZKI |
| Budapest |
| Hungary |
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 3
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page