PiXL

MaRDI QIDQ14523swMATHFDO

Official website http://www.lcc.uma.es/~pedro/publications/pixl_gallardo.pdf

Described by source

• PiXL: applying XML standards to support the integration of analysis tools for protocols

Cited in

(1)

• CAESAR

This page was built for software: PiXL