Login / Signup
Verifying General Safety Properties of Ada Tasking Programs.
Laura K. Dillon
Published in:
IEEE Trans. Software Eng. (1990)
Keyphrases
</>
special case
genetic algorithm
multiscale
databases
data structure