Article citationsMore>>
Vardhan, A., Sen, K., Viswanathan, M. and Agha, G. (2004) Learning to Verify Safety Properties. In: Davies, J., Schulte, W. and Barnett, M., Eds., ICFEM 2004: Formal Methods and Software Engineering, Springer, Berlin, 274-289.
https://doi.org/10.1007/978-3-540-30482-1_26
has been cited by the following article:
Related Articles:
-
Indra Rajasingh, Bharati Rajan, Ramanathan Sundara Rajan
-
Jai Dev Chandel, Nand Lal Singh
-
Casimir Komenan
-
Lucio Laureti, Alberto Costantiello, Angelo Leogrande
-
Sayeedeh Abdollahi, Mohammad Reza Salehi Rad