Interactors and Haggis: Executable Specifications for Interactive Systems (1997)

Cached

Download Links

by Meurig Sage , Chris Johnson
Venue:PROC OF 4 TH INT. EUROGRAPHICS WORKSHOP ON DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEM DSV-IS'97
Citations:4 - 1 self