bibtex

@inproceedings{MFK09,
    title = {Polyhedral Domains and Widening for Verification of Numerical Programs },
    author = {Maka, Hitashyam and Frehse, Goran and Krogh, Bruce H.},
    year = {2009},
    booktitle = {NSV-II: Second International Workshop on Numerical Software Verification},
    team = {TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1685799