Resources

Trauma - An Engineering Analysis

Author : Bangash 

Springer

Access online

Trauma Biomechanics

Author : Schmitt 

Springer

Access online

Types for Proofs and Programs

Author : Geuvers 

Springer

Access online

Travertine

Author : Pentecost 

Springer

Access online

Types for Proofs and Programs

Author : Berardi 

Springer

Access online

Treasure Your Exceptions

Author : Cock 

Springer

Access online

Types for Proofs and Programs

Author : Filliâtre 

Springer

Access online

Types for Proofs and Programs

Author : Coquand 

Springer

Access online

Types for Proofs and Programs

Author : Callaghan 

Springer

Access online