Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Reasoning in proofEd3

Poernomo, Iman and Crossley, John and Jeavons, John and Basit, Bolis (1998) Reasoning in proofEd3. In: 1st IEEE YUFORIC Workshop on Formal Methods for Dependable Systems .

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
ID Code:256
Deposited By:Dr Iman Poernomo
Deposited On:08 Nov 2007 17:16
Last Modified:08 Nov 2007 17:16

Repository Staff Only: item control page