1
Argitaratua 2015
Aurkibidea: ... Recursive Functions by Virus Machines -- About models derived from colonies....
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2015
Aurkibidea: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
Testu osoa
Baliabide elektronikoa eBook