Publications Other (1) ATES : AN INTEGRATED SYSTEM FOR SOFTWARE DEVELOPMENT AND VERIFICATION Author(s): COUTURIER P (C.I.S.I. INGENIERIE, RUNGIS (FR)) Published in: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 242-263 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL) ISBN 0-7923-1039-X, 1990, Page(s) 242-263, ISBN 0-7923-1039-X Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available