CerCo: Certified Complexity

Filter
Article

Search results

  • 2011

    Certified Complexity

    Armadio, R., Asperti, A., Ayache, N., Campbell, B., Mulligan, D., Pollack, R., Regis-Gianas, Y., Coen, C. S. & Stark, I., 2011, In: Procedia Computer Science. 7, p. 175-177 3 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File