Formal Refinement of Informal GUI Design Artefacts

収録刊行物

• Australian Software Engineering Conference (ASWEC'06), Apr

  Australian Software Engineering Conference (ASWEC'06), Apr 2006