Formal Specification and Refinement for an Interactive Web Example.

Ingrid van Coppenhagen, Barry Dwolatzky

Browse the full WEBIST paper archive.