Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/ccamacho/phd

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

Last synced: about 2 months ago
JSON representation

Ph.D dissertation website

Host: GitHub
URL: https://github.com/ccamacho/phd
Owner: ccamacho
Created: 2017-03-04T15:33:17.000Z (over 7 years ago)
Default Branch: gh-pages
Last Pushed: 2020-08-08T19:40:47.000Z (about 4 years ago)
Last Synced: 2024-05-01T17:25:41.266Z (5 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