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 | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900033