Yazar
Combemale, Benoit. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
View Other Search Results
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: