Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA

Reference:

Tapio Manner. Extending verification of industrial TNSDL programs with formal methods by using EMMA. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998.

Suggested BibTeX entry:

@mastersthesis{MannerMsc,
    author = {Manner, Tapio},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Extending Verification of Industrial {T}{N}{S}{D}{L} Programs with Formal Methods by Using {E}{M}{M}{A}},
    year = {1998},
}