Journal article

Title:
Formal Verification of Annotated Textual Use-Cases
Authors:
Viliam Simko, David Hauzar, Petr Hnětynka, Tomáš Bureš, František Plášil
Publication:
The Computer Journal 58 (7)
DOI:
Year:
2015
Link:

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