Keyword:API

Papers
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