Model-checking Driven Design of Interact
โ
Antonio Cerone; Norzima Elbegbayan
๐
Article
๐
2007
๐
Elsevier Science
๐
English
โ 341 KB