bibtex

@article{SMK+8,
    title = {{Early validation of system requirements and design through correctness-by-construction} },
    author = {Stachtiari, Emmanouela and Mavridou, Anastasia and Katsaros, Panagiotis and Bliudze, Simon and Sifakis, Joseph},
    year = {2018},
    journal = {{Journal of Systems and Software}},
    pages = {52-78},
    publisher = {{Elsevier}},
    volume = {145},
    team = {RSD},
}

Sections de Publications


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

info visites 1276828