Laboratoire d'informatique formelle
Academic research lab focusing on the development of tools for software specification, testing and verification
- 4 followers
- Université du Québec à Chicoutimi, Québec, Canada
- https://liflab.ca
- shalle@acm.org
Pinned Loading
Repositories
Showing 10 of 69 repositories
- lif-toolbox Public
liflab/lif-toolbox’s past year of commit activity - shaded-compliance Public
liflab/shaded-compliance’s past year of commit activity - mister-sparql Public
liflab/mister-sparql’s past year of commit activity