Formal Veriﬁcation of Annotated Use Cases

Technical report

Title:

Authors:

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

Publication:

Technical report no. No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague

Year:

2012

BibTeX:

@techreport{simko_formal_report_2012,
    title = {{Formal Veriﬁcation of Annotated Use Cases}},
    author = {Simko, V. and Hnetynka, P. and Bures, T. and Plasil, F.},
    year = {2012},
    institution = {Dep. of Distributed and Dependable Systems, Charles University in Prague},
    number = {No. D3S-TR-2012-02},
}