[X-logic-www] [X-Logic] Applying set theory to specification and verification [13]

[<com...@x-...>]

Subject- Applying set theory to specification and verification
Url- http://www.rbjones.com/

I should have referred you to Larry Paulson''s work with Isabelle/ZF, see:
http://www.cl.cam.ac.uk/users/lcp/papers/Sets/