Laboratoire d'informatique formelle

icon indicating a website link https://liflab.ca icon indicating an email [email protected]

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

Results 1 repositories owned by Laboratoire d'informatique formelle

beepbeep-3

25
Stars
16
Forks
Watchers

An event stream processor anyone can use

verified publisher icon liflab