Formal Specification of Selected Android Core Applications and Library Functions




FREE-DOWNLOAD MAH Mobarhan – 2010




IEEE PAPER UNITED STATES