https://github.com/ccamacho/phd

Ph.D dissertation website
https://github.com/ccamacho/phd

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

Last synced: 7 days ago
JSON representation

Ph.D dissertation website

• Host: GitHub
• URL: https://github.com/ccamacho/phd
• Owner: ccamacho
• Created: 2017-03-04T15:33:17.000Z (almost 9 years ago)
• Default Branch: gh-pages
• Last Pushed: 2020-08-08T19:40:47.000Z (over 5 years ago)
• Last Synced: 2025-01-18T08:45:42.783Z (12 months ago)
• Topics: axiomatic-semantics, denotational-semantics, foda, formal-methods, operational-semantics, process-algebras, software-product-lines
• Language: HTML
• Homepage: http://ccamacho.github.io/phd
• Size: 38.2 MB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Software Product Lines Algebra (SPLA)

Carlos Camacho - Ph.D. [project website](http://ccamacho.github.io/phd).

This site includes the references

related to all resources used for this

dissertation.

## Theme

Template design originally from [wemake](http://github.com/wemake-services/jekyll-theme-hackcss).