File:Atp improvements.pdf

From Event-B
Revision as of 20:50, 30 April 2020 by Maintenance script (talk | contribs) (Maintenance script uploaded File:Atp improvements.pdf)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.