Formal Methods for Extensions to CAS. World Congress on Formal Methods, Toulouse, 24th September 1999

Activity: Talk or presentation typesInvited talk

Period1999 → …
Event titleFormal Methods for Extensions to CAS. World Congress on Formal Methods, Toulouse, 24th September 1999
Event typeOther
Sponsor