Home J!Research Research Areas seminaldocuments

Seminal Documents


We collect here a few documents that introduce the main concerns of the Centre and its approach to software certification.  These are intended to provide an introduction to people new to the area, as well as to people seeking to understand our focus.