![](/img/cover-not-exists.png)
[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Reachability analysis using multiway decision graphs in the HOL theorem prover
Abed, Sa'ed, Mohamed, Otmane Ait, Al Sammane, GhiathYear:
2008
Language:
english
DOI:
10.1145/1363686.1363774
File:
PDF, 196 KB
english, 2008