"A Logical Treatment of Non-Termination and Program Behaviour"
written by Martin Ward, Hussein Zedan,
published by Journal of Software Engineering and Applications, Vol.7 No.7, 2014
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
No relevant information.