-
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". -
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...