Browse by Authors and Editors
Jump to: Conference or Workshop Item Number of items: 2. Conference or Workshop ItemCollins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania. Dennis, Louise Abigail and Collins, Graham and Norrish, Michael and Boulton, Richard and Slind, Konrad and Robinson, Graham and Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin. |
From the 1st Oct 2021, the research publications and student eTheses of University of Nottingham Ningbo China authors will be handled through the UNNC Research Information System (RIS).
If you are a UNNC author, please login to the UNNC RIS in order to deposit articles and etheses after this date, or contact Library@nottingham.edu.cn if you have any enquiries in regard to this change.
If you are a UNNC author, please login to the UNNC RIS in order to deposit articles and etheses after this date, or contact Library@nottingham.edu.cn if you have any enquiries in regard to this change.
