Blueprints Computer-Based Case Simulation Review: USMLE Step 3
The SECD Microprocessor: A Verification Case Study (The Springer International Series in Engineering and Computer Science)
Case-Based Reasoning Research and Development: 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1–4, 2024, Proceedings (Lecture Notes in Computer Science, 14775)