2 works on record
Ernest Bloch Studies
2016
Critical Systems : Formal Methods and Automated Verification