Vol-847⫷ Vol-848 ⫸Vol-849
urn:nbn:de:0074-848-0


None⫷None⫸None
Martin StreckerMohamed MezghicheSelma Djeddai

A Case Study in Combining Formal Verification and Model-Driven Engineering