共 50 条
- [22] Build Your Own Model Checker in One Month PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1481 - 1483
- [26] Baking your own cookies - How to keep tabs on visitors without getting personal INTERNET WORLD, 1997, 8 (07): : 85 - &