2 items found

Types: software Groups: Datacite ZENODO Tags: 59999 Environmental Sciences not elsewhere classified Developmental Biology Medicine Space Science quot

Filter Results
  • software

    Source Code For "A Comparative Study Of Endoderm Differentiation In Humans An...

    Source code for the publication, "A comparative study of endoderm differentiation in humans and chimpanzees". 
  • software

    Polaris: A Separation Logic For Concurrent Randomized Programs

    This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The...