![](/img/cover-not-exists.png)
[IEEE Design Languages (FDL) - Stuttgart (2008.09.23-2008.09.25)] 2008 Forum on Specification, Verification and Design Languages - The performance of combining multiway decision graphs and HOL theorem prover
Abed, Sa'ed, Mohamed, Otmane Ait, Sammane, Ghiath AlYear:
2008
Language:
english
DOI:
10.1109/fdl.2008.4641435
File:
PDF, 354 KB
english, 2008