共 50 条
- [25] Semantic foundations and inference of non-null annotations FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 132 - +
- [26] VANELTEREN W TEST AND NON-NULL HYPOTHESIS REVUE DE L INSTITUT INTERNATIONAL DE STATISTIQUE-REVIEW OF THE INTERNATIONAL STATISTICAL INSTITUTE, 1969, 37 (02): : 166 - +
- [27] Freeform surface measurement with non-null interferometry OPTICAL DESIGN AND TESTING X, 2020, 11548