File:Atp improvements.pdf

From Event-B
Revision as of 16:37, 21 July 2009 by imported>Wohuai (Title: Better Automated Theorem Proving in Event-B Event: User and Developer Workshop Date: July 16th 2009)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Atp_improvements.pdf(file size: 172 KB, MIME type: application/pdf)

Title: Better Automated Theorem Proving in Event-B Event: User and Developer Workshop Date: July 16th 2009

File history

Yi efo/eka'e gwa ebo wo le nyangagi wuncin ye kamina wunga tinya nan

GwalagizhiDimensionsUserComment
current20:50, 30 April 2020 (172 KB)Maintenance script (talk | contribs)

There are no pages that use this file.