CMU

file

Visible to the public Ferreira_Characterizing_Con_Complexity_CK.pdf

Submitted by Jamie Presken on Mon, 12/05/2016 - 2:32pm
file

Visible to the public Lemos_SE_for_Self_Adaptive_Systems.pdf

Submitted by Jamie Presken on Mon, 12/05/2016 - 2:09pm
biblio

Visible to the public Software engineering for self-adaptive systems: A second research roadmap

Submitted by Jamie Presken on Mon, 12/05/2016 - 2:09pm
file

Visible to the public Rao_Less_is_More_TB.pdf

Submitted by Jamie Presken on Mon, 12/05/2016 - 1:42pm
biblio

Visible to the public Inductive types in homotopy type theory

Submitted by Jamie Presken on Mon, 12/05/2016 - 1:37pm