Formal Specification of Selected Android Core Applications and Library Functions
Loading...
Download
Date
Type
Examensarbete för masterexamen
Master Thesis
Master Thesis
Programme
Model builders
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Informations- och kommunikationsteknik, Programvaruteknik, Information & Communication Technology, Software Engineering