Bibliographic Details
| Title: |
Panellist position statement: some industrial experience with program verification. |
| Authors: |
Chapman R; Praxis High Integrity Systems. rod.chapman@praxis-his.com |
| Source: |
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2005 Oct 15; Vol. 363 (1835), pp. 2393-4. |
| Publication Type: |
Journal Article |
| Journal Info: |
Publisher: The Royal Society Country of Publication: England NLM ID: 101133385 Publication Model: Print Cited Medium: Print ISSN: 1364-503X (Print) Linking ISSN: 1364503X NLM ISO Abbreviation: Philos Trans A Math Phys Eng Sci Subsets: MEDLINE |
| Database: |
MEDLINE Ultimate |
