OR

Browse By

Lightweight formal methods for embedded software (2000–2002)

Grant type:
ARC Collaborative Grant (SPIRT)
Funded by:
Australian Research Council