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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4125081