An X-windows interface for the window inference system

An X-windows interface for the window inference system (1993)

by L Th'ery

Venue:

Report. University of Cambridge, Computer Laboratory, New Museums Site

Results 1 - 1 of 1

by Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright - Formal Methods Pacific ’97 , 1997

"... . We describe the Refinement Calculator, a tool which supports ..."

Abstract - Cited by 22 (2 self) - Add to MetaCart

. We describe the Refinement Calculator, a tool which supports