Bibliographic Details
| Title: |
Formal verification: will the seedling ever flower? |
| Authors: |
White N; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK neil.white@altran.com., Matthews S; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK., Chapman R; Altran UK, 22 St Lawrence Street, Bath BA1 1AN, UK. |
| Source: |
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2017 Oct 13; Vol. 375 (2104). |
| 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: PubMed not MEDLINE |
| Database: |
MEDLINE Ultimate |
