A framework for testing object oriented software using formal specifications
Year: 1996
Type: conference-paper
DOI: 10.1007/bfb0013486
Authors: Rohan Fletcher, A. S. M. Sajeev
Institution: Monash University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1552111295
