Subscribe

Posts Tagged Handbook

Rodin Handbook Now Available in Print

A while ago, we supported the EU project Deploy and produced a handbook for the Rodin platform, a tool for creating formal specifications using the Event-B method.  This book was a great success, but only available electronically (for free, licensed under a Creative Commons license). Due to

Read more