Deriving and Verifying B Specifications from Problem Frames Models via Model Transformation.

Simin Yang, Hongbin Xiao, Zhi Li, Xiaolan Xie

Browse the full RE paper archive.