Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/gpetiot/phd-thesis
Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)
https://github.com/gpetiot/phd-thesis
Last synced: about 2 months ago
JSON representation
Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)
- Host: GitHub
- URL: https://github.com/gpetiot/phd-thesis
- Owner: gpetiot
- Created: 2016-06-17T12:01:14.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-01-08T19:10:32.000Z (about 7 years ago)
- Last Synced: 2023-05-04T14:55:52.142Z (over 1 year ago)
- Language: TeX
- Homepage: http://www.theses.fr/2015BESA2045
- Size: 4.09 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0