A Framework for Testing Safety and Effective Computability

Author: Krishnamurthy R.   Ramakrishnan R.   Shmueli O.  

Publisher: Academic Press

ISSN: 0022-0000

Source: Journal of Computer and System Sciences, Vol.52, Iss.1, 1996-02, pp. : 100-124

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract