Formal Verification of Annotated Textual Use-Cases

Journal article

Title:

Authors:

V. Simko, D. Hauzar, P. Hnětynka, T. Bureš, F. Plášil

Publication:

The Computer Journal 58 (7)

DOI:

10.1093/comjnl/bxu068

Year:

2015

Link:

+ http://dx.doi.org/10.1093/comjnl/bxu068

BibTeX:

@article{simko_formal_2015,
    title = {{Formal Verification of Annotated Textual Use-Cases}},
    author = {Simko, Viliam and Hauzar, David and Hnetynka, Petr and Bures, Tomas and Plasil, Frantisek},
    year = {2015},
    journal = {{The Computer Journal}},
    number = {7},
    doi = {10.1093/comjnl/bxu068},
    pages = {1495--1529},
    url = {+ http://dx.doi.org/10.1093/comjnl/bxu068},
    volume = {58},
}