Fingerprint
Navegar pels temes de recerca de 'Core-guided minimal correction set and core enumeration'. Junts formen un fingerprint únic.- Ordenar per
- Ponderació
- Alfabèticament
Core-guided minimal correction set and core enumeration
Nina Narodytska, Nikolaj Bjørner, Maria Cristina Marinescu, Mooly Sagiv
Producció científica: Capítol de llibre › Contribució a congrés/conferència › Avaluat per experts
35
Cites
(Scopus)