Report a Citation

Research Article

Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software

Report a Citation

Xu, Z. and X. Jianyu,, 2008. Combination of model checking and theorem proving to develop and verify embedded software.. Inform. Technol. J., 7: 623-630.

DOI: 10.3923/itj.2008.623.630

URL: http://scialert.net/abstract/?doi=itj.2008.623.630

If you have cited the above article in your published manuscript? Please provide complete citation report of your article.

Citation Report

Author(s):

Year:

Title of manuscript:

Source of manuscript:

DOI:

Security Question:

What color is the sky?

red
blue
orange

In case your published manuscript has no DOI, then you should send copy of published article via e-mail to support@scialert.com

Services

E-mail This Article