File:A Rodin plug-in for constructing reusable schematic lemmas.pdf

From Event-B
Jump to: navigation, search
A_Rodin_plug-in_for_constructing_reusable_schematic_lemmas.pdf(file size: 72 KB, MIME type: application/pdf)

A Rodin plug-in for constructing reusable schematic lemmas (Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky)

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current16:29, 20 May 2016 (72 KB)Son (talk | contribs)A Rodin plug-in for constructing reusable schematic lemmas (Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky)
  • You cannot overwrite this file.

The following page links to this file: