en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Formal Verification of the TTP Group Membership Algorithm
Formal Methods for Distributed System Development -- Proceedings of FORTE XIII / PSTV XX 2000
Formal Software Development using Generic Development Steps
This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
Publication export from The School of Electronics and Computer Science, University of Southampton
Generic Programming - International Seminar on Generic Programming" publisher = "Springer-Verlag
Software Development in PVS using Generic Development Steps