Keyword:API

Papers
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