Vol-1630⫷ Vol-1631 ⫸Vol-1632
urn:nbn:de:0074-1631-0


Vol-1631/113-118⫷Vol-1631/119-132⫸Vol-1631/133-140

Correctness Property Proof for the Banking System for Money Transfer Payments