Article citationsMore>>
Fehnker, A., Brauer, J., Huuck, R. and Seefried, S. (2008) Goanna: Syntactic Software Model Checking. In: Cha, S., Choi, J.Y., Kim, M., Lee, I. and Viswanathan, M., Eds., ATVA 2008: Automated Technology for Verification and Analysis, Springer, Berlin, 216-221.
https://link.springer.com/chapter/10.1007/978-3-540-88387-6_17
has been cited by the following article:
Related Articles:
-
Ananda Prasad Panta, Ram Prasad Ghimire, Dinesh Panthi, Shankar Raj Pant
-
William Carlson, Conway Lackman
-
Mohamed S. El Naschie
-
Leshell Hatley, Maha Al-Freih, Brenda Bannan
-
Haiqi Chen