C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Structured Formal Development with Quotient Types in Isabelle/HOL.
Maksym Bortin
Christoph Lüth
Published in:
AISC/MKM/Calculemus (2010)
Keyphrases
</>
theorem prover
formal methods
software engineering
higher order
knowledge based systems
development process
database
real world
artificial intelligence
knowledge management
software development
information processing
design process
structured data
formal model
theorem proving