International Conference on Formal Engineering Methods, 2011-10-26
Computer Aided Verification, 2011-07-14