(1 - 17 from 20
)
iFM 2014ifm2014.cs.unibo.it/programme.html
ifm2014.cs.unibo.it
Yael Meller, Orna Grumberg and Karen Yorav. Verifying Behavioral UML Systems via CEGAR. Alvaro Miyazawa and Ana Cavalcanti. Formal refinement in ...
sorted by relevance / date