Robert M. Hierons · 4 obras en el catálogoObrasUUsing formal specifications to enhance the software testing Using formal specifications to enhance the software testing processFormal methods and testingSoftware Engineering and Formal MethodsTTesting of Communicating SystemsTesting of Communicating Systems
UUsing formal specifications to enhance the software testing Using formal specifications to enhance the software testing process