Fault-Tolerant Resource Reasoning.

Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner

Browse the full APLAS paper archive.