Leo Freitas
4 published titles
How to say why (in AI4FM)
1 edition
- Newcastle University, Computing Science
- 2013
- Details
Abstracting interference in postconditions
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
Proof patterns for formal methods
1 edition
- Newcastle University, Computing Science
- Details
Rigorous design and implementation of an emulator for EMV contactless payments
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
