(2006). Interactive systems: Design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / Stephen W. Gilroy, Michael D. Harrison (eds.).
Chicago Style (17th ed.) ZitazioaInteractive Systems: Design, Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : Revised Papers / Stephen W. Gilroy, Michael D. Harrison (eds.). 2006.
MLA (9th ed.) ZitazioaInteractive Systems: Design, Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : Revised Papers / Stephen W. Gilroy, Michael D. Harrison (eds.). 2006.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.