Formal verification of ABAP by Z specification. - Soravit Rodruksa; Denduang Pradubsuwun (JCSSE, 2017)