next up previous

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

Abstract:

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