Report copyright - FACS Issue 2004-2 A C T S · • John Fitzgerald, SCSC and FME liaison officer for FACS, reported briefly on recent Formal Methods Europe activities: the upcoming conference FM 2005
Please pass captcha verification before submit form