UUsing formal specifications to enhance the software testing Using formal specifications to enhance the software testing processde Robert M. HieronsEdiciones (1)Using formal specifications to enhance the software testing process. (1992)Brunel University · inglésMás obras de Robert M. HieronsFormal methods and testingSoftware Engineering and Formal MethodsTTesting of Communicating SystemsTesting of Communicating SystemsVer todas las obras de Robert M. Hierons →