Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming nested » programming invited, programming system, programming net
c programming » logic programming
nested array » related array, western array, nestel barry
induction c » induction _, induction a, induction 5
array a » array _
programming nested » programming invited, programming system, programming net
c programming » logic programming
nested array » related array, western array, nestel barry
induction c » induction _, induction a, induction 5
array a » array _
1
Udgivet 2014
Indholdsfortegnelse:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2015
Indholdsfortegnelse:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Få fuldtekst
Electronisk
eBog