Borrowing Safe Pointers from Rust in SPARK.

Georges-Axel Jaloyan Yannick Moy Andrei Paskevich

Published in: CoRR (2018)

Keyphrases

genetic algorithm
three dimensional
sensor networks
error rate