ccamacho / phd

Ph.D dissertation website

http://ccamacho.github.io/phd

software-product-lines foda formal-methods process-algebras operational-semantics denotational-semantics axiomatic-semantics

Software Product Lines Algebra (SPLA)

Carlos Camacho - Ph.D. project website.

This site includes the references related to all resources used for this dissertation.

Theme

Template design originally from wemake.

About

Ph.D dissertation website

http://ccamacho.github.io/phd

software-product-lines foda formal-methods process-algebras operational-semantics denotational-semantics axiomatic-semantics

Languages

Language:HTML 90.3%Language:CSS 9.7%