Login / Signup
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
Grazyna Mirkowska
Andrzej Salwicki
Oskar Swida
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
invited paper
wide range
programming language
programming environment
logic programming
modal logic
design methodology
classical logic
sound theoretical
genetic algorithm
artificial intelligence