|
 
|
[DD14] Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014
Directions d'ouvrages scientifiques : June 2014, Informal proceedings,Mots clés: sets, provers, constraint solver, programming language
Résumé:
Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014
Equipe:
sys
BibTeX
| @book { | |||
| DD14, | |||
| title | = | "{Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014}", | |
| author | = | "D. Delahaye and C. Dubois", | |
| year | = | 2014, | |
| publisher | = | "Informal proceedings", | |
| } | |||
