Sign in
An algebraic treatment of procedure refinement to support mechanical verification.
Ralph-Johan Back
Viorel Preoteasa
Published in:
Formal Aspects Comput. (2005)
Keyphrases
</>
case study
decision support
neural network
computer vision
end users
signature verification
mechanical design