Browsing by Subject Electronic funds transfers -- Security measures
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
2008 | LARVA converter user manual | Colombo, Christian |
2012 | Runtime verification and compensations | Colombo, Christian |
2017 | Runtime verification using Larva | Colombo, Christian; Pace, Gordon J. |
2017 | Runtime verification using Valour | Azzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J. |
2011-01 | Trusting a computer with your money | Pace, Gordon J. |