共 50 条
- [34] Java']Java Pathfinder a translator from Java']Java to Promela THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 152 - 152
- [36] Jivin' with (Java']Java and) Java']JavaScript 45TH ANNUAL CONFERENCE ON IMAGINATION, INNOVATION AND COMMUNICATION, 1998, : 331 - 333