Combining Testing with Formal Specifications: A Case Study
Work
Year: 1983
Type: article
Authors Paul R. McMullin, John D. Gannon
Institutions Johns Hopkins University Applied Physics Laboratory, University of Maryland, College Park
Cites: 6
Cited by: 21
Related to: 10
FWCI: 2.648
Citation percentile (by year/subfield): 90.27
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed