Requirements as Conjectures: Intuitive DVD Menu Navigation

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_11 ◽

2005 ◽

pp. 172-186

Author(s):

Jemima Rossmorris ◽

Susan Stepney

Download Full-text