MétaCan
Menu

Travaux

Tous les travaux de la base. Chaque rangée indique les voies par lesquelles le travail a été admis, car une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée.

Voie
Domaine
Type
Langue
Période
à
Consensus du tri
Ordre
Indicateurs
10 000+ travauxpage 587
affsans résumé
The software model checker Blast
2007· article· en· International Journal on Software Tools for Technology Transfer· Computer Science
594
citations