OR

Browse By

Using theorem provers to integrate animation and testing into the requirements engineering process (1997)

Grant type:
UQ External Support Enabling Grant
Funded by:
The University of Queensland