Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Soundness of an Encoding of A Logic for Z in 2OBJ

Soundness of an Encoding of A Logic for Z in 2OBJ

Hendrik Hilberdink and Andrew Martin

Institution
OUCL(PRG)
Month
June
Year
1992

Links

See Also

Back to Top