Evolving specifications formally

2011 IEEE 19th International Requirements Engineering Conference ◽

10.1109/re.2011.6051651 ◽

2011 ◽

Author(s):

Prahladavaradan Sampath ◽

Silky Arora ◽

S Ramesh

Download Full-text