共 50 条
- [21] EXPERIMENT IN COMPUTER-ASSISTED DUPLICATE CHECKING PROCEEDINGS OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1976, 13 : 108 - 108
- [22] Model checking of computer-based systems ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 557 - +
- [24] Euclid after Computer Proof-Checking AMERICAN MATHEMATICAL MONTHLY, 2022, 129 (07): : 623 - 646
- [29] Dose range checking in a computer order entry system PEDIATRIC RESEARCH, 2003, 53 (04) : 251A - 251A