Unique solutions of contractions, CCS, and their HOL formalisation.

Chun Tian Davide Sangiorgi

Published in: Inf. Comput. (2020)

Keyphrases

optimal solution
formal methods
formal analysis
real time
image segmentation
three dimensional
data structure
theorem prover