HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 verification 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
Copyright © 2012-2021 easychair.org. All rights reserved.