Semantic Criteria for Choosing a Language for Big-Step Models

2009 17th IEEE International Requirements Engineering Conference ◽

10.1109/re.2009.29 ◽

2009 ◽

Cited By ~ 2

Author(s):

Shahram Esmaeilsabzali ◽

Nancy A. Day ◽

Joanne M. Atlee ◽

Jianwei Niu

Download Full-text