Christopher Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey. AdaptiV approach to verification of adaptive systems. In Bipin C. Desai, Emil Vassev, Sudhir P. Mudur, Bipin C. Desai, editors, Fifth International C* Conference on Computer Science & Software Engineering, C3S2E '12, Montreal, QC, Canada, June 27-29, 2012. pages 118-122, ACM, 2012. [doi]
Abstract is missing.