Formal Verification of Transactional Systems.

Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos

Browse the full WEBIST paper archive.