Technical Report

Embedding Multiway Decision Graphs in HOL

Tarek Mhamdi and Sofiène Tahar.


ABSTRACT