[isabelle] journals on theorem proving
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] journals on theorem proving
- From: "li yongjian" <lyj238 at gmail.com>
- Date: Fri, 23 May 2008 10:46:28 +0800
- In-reply-to: <firstname.lastname@example.org>
- References: <email@example.com>
Recently, our library request us to provide some information on the
field of journals on theorem proving .
Could you please provide some international journal
on theorem proving or security.
>From Larry's work on trace theory on security protocol, I know
Journal of computer security.
But could you please provide more, which either publish papers on
theorem proving or security, or theorem proving techniques or relating
the two things?
Thanks in advance.
This archive was generated by a fusion of
Pipermail (Mailman edition) and