共 50 条
- [45] Java']Java's integral types in PVS [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 1 - 15
- [48] How Final is Java']Java's final? [J]. 2015 SCIENCE AND INFORMATION CONFERENCE (SAI), 2015, : 946 - 948
- [49] Java']Java's role in distributed collaboration [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1997, 9 (06): : 509 - 519