Browse by Authors and Editors

Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or Workshop Item

Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania.

This list was generated on Tue Jan 21 01:29:42 2025 UTC.