A three-step hybrid specification approach to error prevention

Shaoying Liu. A three-step hybrid specification approach to error prevention. Journal of Systems and Software, 178:110975, 2021. [doi]

Authors

Shaoying Liu

This author has not been identified. Look up 'Shaoying Liu' in Google