Tampere University of Technology

TUTCRIS Research Portal

Validating correctness with behavioural abstractions

Research output: Book/ReportDoctoral thesisCollection of Articles

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Publication statusPublished - 2005
Publication typeG5 Doctoral dissertation (article)

Publication series

NameTampereen teknillinen yliopisto, Julkaisu
PublisherTampere University of Technology
Volume550

Publication forum classification