Jim WoodcookBooksFM'99 - Formal MethodsTesting Techniques in Software EngineeringAuthor data: Open Library