Certifying Native Java API by Formal Refinement.

Quang Huy Nguyen, Boutheina Chetali

Browse the full CARDIS paper archive.