|
attribute |
value |
name |
CoFloCo 2018 |
description |
CoFloCo is a cost analyis tool that infers upper and lower bounds on
the resource consumption of programs expressed as cost relations. |
owner |
Antonio Flores Montoya
|
uploaded |
2018-06-28 06:31:49.0 |
disk size |
66.33 MB |
build status |
uploaded built |
|