AnBx

swMATH27775MaRDI QIDQ39489FDOQ39489

Author name not available (Why is that?)

Official website: http://www.dais.unive.it/~modesti/anbx/

Cited In (1)

• Alice and Bob: reconciling formal models and implementation

This page was built for software: AnBx