Browse by Authors and Editors
Number of items: 1. Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania. |
Browse by Authors and Editors
Number of items: 1. Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania. |