Skip to content

Camilo Rueda

    • 0ReadersNumber of instances of Camilo's publications in Mendeley libraries. Updated daily.
    • 2PublicationsNumber of items in Camilo's My Publications folder on Mendeley.

    Research interests

    computer musicformal methodsconstraint programmingconcurrency theory

    Followers (3)

    Publications (2)

    • A Case Study in JML-Assisted Software Development

      • Cataño N
      • Barraza F
      • García D
      • et al.
      N/AReaders
      N/ACitations
      Get full text
    • Teaching Formal Methods for the Unconquered Territory

      • Catano N
      • Rueda C
      N/AReaders
      N/ACitations