[Zurück]

@article{TUW-261899,
    author = {Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina and Gogolla, Martin and Kappel, Gerti},
    title = {A Feature-Based Classification of Formal Verification Techniques for Software Models},
    journal = {Software and Systems Modeling},
    year = {2019},
    volume = {18},
    number = {1},
    pages = {473--498},
    url = {ttps://doi.org/10.1007/s10270-017-0591-z},
    doi = {10.1007/s10270-017-0591-z}
}