Keyword:API

Papers
Presentation and Analysis of the Ecosystem for Mobile Development in Multiplatform Ricardo Lucas Jardim EasyChair Preprint no. 4953
Weather Finder: An Application for weather forecasting Anmol Srivastava, Rahul Verma and Vaibhav Srivastav EasyChair Preprint no. 4823
Open innovation Hannes Premmert and Emil Johansson EasyChair Preprint no. 2171
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows and José Meseguer In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning