You are currently viewing a new version of our website. To view the old version click .
MDPIMDPI
Search all articles
Journal: TechnologiesVolume: 13Number: 580
Article: Formal Verification of Transcompiled Mobile Applications Using First-Order Logic
  • Authors:
  • Ahmad Ahmad Muhammad1,
  • Mahitap Ayman1 and
  • Samer A. Elhossany1
  • et al.
Link: https://www.mdpi.com/2227-7080/13/12/580

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Order Cost and Details

Production Quality: High quality (printed in full color on glossy, 135g/m2 paper and 2x stitched)

Shipping Address

Billing Address

0 / 500
The order must be prepaid after it is placed.