Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
View Other Search Results
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: