Login / Signup
Formal Aspects of Correctness and Optimality of Interval Computations.
Regivan Hugo Nunes Santiago
Benjamín René Callejas Bedregal
Benedito Melo Acióly
Published in:
Formal Aspects Comput. (2006)
Keyphrases
</>
optimal solution
formal model
formal methods
dynamic aspects
provably correct
database