BeepBeep was developed through the research done at LIF, the Formal Computer Science Laboratory in Université du Québec à Chicoutimi, Canada. BeepBeep's development is part of the activities of the Canada Research Chair on Software Specification, Testing and Verification.
Associate professor, UQAC
Canada Research Chair
Assistant professor, UQAC
PhD Student, UQAC
Laboratoire d'informatique formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada