Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
by Construction -- Is Privacy by Construction Possible? -- X-by-C: Non-Functional Security -- Towards
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Tools in Search of C Code Vulnerabilities II (Extended Abstract) -- Construction of Abstract Domains for
Arama Sonuçlarını Sınırlandır
Daraltılmış: