Skip to content

Camilo Rueda

    • 2PublicationsNumber of items in Camilo's My Publications folder on Mendeley.
    • 3Followers

    Recent publications

    • 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

    Research interests

    computer musicformal methodsconstraint programmingconcurrency theory

    Followers (3)