Yazar
Falaschi, Moreno. editor.
Format:
Electronic Resources
Alıntı:
security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
Transformation and Optimization -- Declarative Compilation for Constraint Logic Programming -- Pre-indexed Terms
View Other Search Results
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Functions -- OptiMathSAT: A Tool for Optimization Modulo Theories -- Systematic Asynchrony Bug Exploration
Arama Sonuçlarını Sınırlandır
Daraltılmış: