|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 58 of 124 found articles
| Title: |
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs |
| Author: |
Boldo, Sylvie Marché, Claude |
| Appeared in: |
Mathematics in computer science |
| Paging: | Volume 5 (2011) nr. 4 pages 377-393 |
| Year: |
2011 |
| Contents: | |
| Publisher: |
SP Birkhäuser Verlag Basel, Basel |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 58 of 124 found articles
| << previous | next >> |