共 50 条
- [3] Changing Java']Java programs IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487
- [5] The treewidth of Java']Java programs ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
- [6] Formal analysis of Java']Java programs in Java']JavaFAN COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
- [9] Functional Testing of Java']Java Programs TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59
- [10] A refinement method for Java']Java programs FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 221 - +