共 50 条
- [21] Model-checking multi-threaded distributed Java']Java programs SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
- [22] Changing Java']Java programs IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487
- [24] The treewidth of Java']Java programs ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
- [26] Distributed supercomputing in Java']Java ELEVENTH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS, 2003, : 2 - 2
- [27] Formal analysis of Java']Java programs in Java']JavaFAN COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
- [30] Functional Testing of Java']Java Programs TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59