Big OTAWA Book
BOB is a collaborative OTAWA documentation wiki. The goal is to make step and step and with any collaborator an OTAWA knowledge database.
These pages are always under development. They need to be completed, improved, etc. If you want to participate, please send an email at otawa@irit.fr.