Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Abubkr Abdelsadiq.

Newcastle AuthorsTitleYearFull text
Abubkr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A High–Level Model–Checking Tool for Verifying Electronic Contracts2011