Refinement in Object-Oriented Specification Languages

BOOK-CHAPTER

Year: 1994 Workshops in computing Pages: 236-259 Publisher: Springer Nature

DOI: 10.1007/978-1-4471-3240-0_13

Keywords:

Programming language Computer science

Metrics

Cited By

2.44

FWCI (Field Weighted Citation Impact)

Refs

0.85

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Software Reliability and Analysis Research

Physical Sciences → Computer Science → Software

Software Testing and Debugging Techniques

Physical Sciences → Computer Science → Software