|
 
|
CertiSkatt
|
Début:
01-01-2014
Fin:
01-01-2015
Convention:
Autres
|
Participants
Description
PHC Aurora - résolution de contraintes certifiée formellement
2015
- [DMM15] C. Dubois, P. Masci, D. Méry. "Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015", July 2015, EPTCS,
