Best Student Paper Award "Towards Formal Specification and Verification of Maple Programs at the Conferences on Intelligent Computer Mathematics
- Khan, Mohammad Taimoor (Empfänger*in) & Schreiner, Wolfgang (Empfänger*in)
Auszeichnung: Preis, Auszeichnung oder Ehrung