Gaudel - FME '96 Industrial Benefit and Advances in Formal Methods - X555z

Woodcock Johnson Test of Cognitive Abilities Test Kit Part One Original

Woodcock-Johnson III 3 Tests of Achievement Standard Test Book Tests 1-22 Form B

Jones - Symbolic Simulation Methods for Industrial Formal Verification - X555z

Salan - Formal Methods for Industrial Critical Systems 16th Interna - X555z

Oliveira - FME 2001 Formal Methods for Increasing Software Productivi - X555z

Eriksson - FME 2002 Formal Methods - Getting IT Right International - X555z