Pragmatic equivalence and safety checking in Cryptol.

Levent Erkök John Matthews

Published in: PLPV (2009)

Keyphrases

interactive dynamic influence diagrams
language generation
database
real time
information retrieval
feature selection
website
artificial neural networks
consistency checking
intelligent vehicles
coal mining