Local Theory Specifications in Isabelle/Isar.

Florian Haftmann Makarius Wenzel

Published in: TYPES (2008)

Keyphrases

theoretical framework
signal processing
theoretical basis
real time
artificial intelligence
image processing
high quality
multiscale
software engineering
theoretical foundation