Formal methods in LARGE-SCALE computing systems

Author: Malik Saif U. R.   Khan Samee U.  

Publisher: Oxford University Press

ISSN: 1746-5702

Source: ITNOW, Vol.55, Iss.2, 2013-06, pp. : 52-53

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