Travelled to:1 × USA
Collaborated with:J.M.Atlee
Talks about:softwar (1) semant (1) requir (1) model (1) logic (1) scr (1)
Person: Michael A. Buckley
DBLP: Buckley:Michael_A=
Contributed to:
Wrote 1 papers:
- ISSTA-1996-AtleeB #requirements #semantics
- A Logic-Model Semantics for SCR Software Requirements (JMA, MAB), pp. 280–292.












