[email protected]
Antonio Flores Montoya
CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
aeflores
