共 50 条
- [31] Changing Java']Java programs IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487
- [33] The treewidth of Java']Java programs ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
- [34] Formal analysis of Java']Java programs in Java']JavaFAN COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
- [37] CLARVA: Model-based Residual Verification of Java']Java Programs PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 352 - 359
- [38] Using runtime analysis to guide model checking of Java']Java programs SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 245 - 264