Type Synthesis in B and the Translation of B to PVS.

Jean-Paul Bodeveix Mamoun Filali

Published in: ZB (2002)

Keyphrases

artificial intelligence
machine translation
theorem proving
data sets
databases
learning algorithm
texture synthesis
query translation