[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

How does TLC work?



Hi, could you advise me books or articles about how TLC checks liveness properties?