"Why Formal Methods Are Considered for Safety Critical Systems?"
written by Monika Singh, Ashok Kumar Sharma, Ruhi Saxena,
published by Journal of Software Engineering and Applications, Vol.8 No.10, 2015
has been cited by the following article(s):
  • Google Scholar
  • CrossRef