Group: comp.lang.functional · Group Profile · Search for Call for participation BCS FACS FME SCSC Workshop on in comp.lang.functional
Author: Paul.Boca
Date: Sep 13, 2008 04:03
... Critical Systems BCS-FACS, the Safety-Critical Systems Club, and FME 9 December ... cost-effectiveness of formal techniques. This workshop will bring together practitioners, researchers and ... and contributed talks, it will help participants assess the state of the art ...Paul Boca, BCS-FACS Paul.Boca@googlemail.com Chris Dale, SCSC chris.dale@...
|