Sebastiaan La Fleur - Formal Verification of Rebel Specifications

author:Sebastiaan La Fleur
title:Formal Verification of Rebel Specifications
company:ING
keywords:
topics:Case studies and Applications, Languages
committee:prof.dr. J.C. van de Pol
prof.dr.ir. A. Rensink
graduation date:21 March 2018 (mark: 9)


Abstract