Laboratoire d'informatique formelle

https://liflab.ca [email protected]

Université du Québec à Chicoutimi, Québec, Canada Academic research lab focusing on the development of tools for software specification, testing and verification