Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
View Other Search Results
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
PRObabilistic ParamEter SYnthesis Tool -- Software Analysis -- Effective Search-Space Pruning for Solvers of
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: