Browsing "Formal Modelling and Verification" by By Date

Jump to a point in the index:
Showing results 1 to 1 of 1
PreviewIssue DateTitleAuthor(s)
2012INTRODUCTIONDi Matteo, M.; Donzelli, F.